Search results for: Bernhard Steffen
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 397-422
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 327-354
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing > 233-248
Lecture Notes in Computer Science > Generative and Transformational Techniques in Software Engineering III > – Short Tutorials > 364-385
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Tutorials > 5-19
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 6 > 629-651
Lecture Notes in Computer Science > TAPSOFT '87 > 52-68
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 23-37