Stefan Leue
Stefan Leue
3 books in the database
Books
Model checking softwareStefan Leue
Model checking software
Stefan Leue · 2002
Formal Methods for Industrial Critical SystemsStefan Leue
Formal Methods for Industrial Critical Systems
Stefan Leue · 2008
Scenarios : Models, Transformations and ToolsStefan Leue
Scenarios : Models, Transformations and Tools
Stefan Leue · 2005
Co-authored books and collections
Books that list Stefan Leue among their authors but not as the lead author: co-written works, collections and compilations.