Home › Authors › Leonardo Bottaci 👤 Leonardo Bottaci 3 books Books by Leonardo Bottaci Testing : Academic and Industr Testing : Academic and Industrial Conference - Practice and Research Techniques 2007 An Introduction to Formal Spec An Introduction to Formal Specification Using Z 1996 The modifiability of rule-base The modifiability of rule-based expert systems 1985