Non abbiamo ancora una biografia di Stefan Leue.
Pubblicato in Inglese
Theoretical and Practical Aspects of SPIN Model Checking
Scenarios : Models, Transformations and Tools
Model checking software
Formal Methods for Industrial Critical Systems
