Search results for: Bernhard K. Aichernig
Formal Methods in System Design > 2019 > 54 > 3 > 416-448
Software Quality Journal > 2019 > 27 > 2 > 757-795
Journal of Automated Reasoning > 2019 > 63 > 4 > 1103-1134
Software & Systems Modeling > 2019 > 18 > 2 > 889-911
Real-Time Systems > 2017 > 53 > 3 > 291-326
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 4 > 409-426
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 338-357
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 806-823
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 61-81
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Validation and Verification > 324-338
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 571-589