Bernhard Steffen

• Computing and Software Science
• Correct system design
• Grundlagen Der Hheren Informatik Induktives Vorgehen
• Leveraging Applications of Formal Methods, Verification and Validation
• Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
• Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
• Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
• Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
• Leveraging Applications of Formal Methods, Verification and Validation. Modeling
• Mathematical Foundations of Advanced Informatics : Volume 1
• SOFSEM 2017 : Theory and Practice of Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems