L
Leonardo Bottaci
3 works on record
Works
Testing : Academic and Industrial Conference - Practice and Research Techniques
Testing : Academic and Industrial Conference - Practice and Research Techniques
An Introduction to Formal Specification Using Z
An Introduction to Formal Specification Using Z
The modifiability of rule-based expert systems
The modifiability of rule-based expert systems