Start Over
You searched for: author_facet Steffen, Bernhard

Search Results

Cover image for Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Location
Access Content Online
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Location
Access Content Online
Cover image for Mathematical Foundations of Advanced Informatics Volume 1

Mathematical Foundations of Advanced Informatics Volume 1

Location
Access Content Online
Cover image for SOFSEM 2017

SOFSEM 2017

Location
Access Content Online
Cover image for Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Location
Access Content Online
Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location
Access Content Online
Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Location Call # Status
Joyner - General Stacks QA76.9.S88 T33 1996 ✔ Available