Search results for: Elisabeth Jöbstl
Software Quality Journal > 2019 > 27 > 2 > 757-795
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 MOGENTES Project > 228-249
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Poster Session > 270-283
Software Testing, Verification and Reliability > 25 > 8 > 716 - 748
Science of Computer Programming > 2015 > 97 > Part 4 > 383-404