Leonardo Bottaci

• An Introduction to Formal Specification Using Z
• Testing : Academic and Industrial Conference - Practice and Research Techniques
• The modifiability of rule-based expert systems