Search results for: Gerard J. Holzmann
IEEE Software > 2017 > 35 > 1 > 14 - 17
IEEE Software > 2017 > 34 > 3 > 23 - 26
IEEE Software > 2017 > 34 > 2 > 18 - 21
IEEE Software > 2017 > 34 > 5 > 87 - 89
IEEE Software > 2017 > 34 > 4 > 89 - 91
IEEE Software > 2017 > 34 > 1 > 106 - 109
IEEE Software > 2016 > 33 > 6 > 98 - 101
IEEE Software > 2016 > 33 > 5 > 34 - 37
IEEE Software > 2016 > 33 > 4 > 18 - 21
Innovations in Systems and Software Engineering > 2017 > 13 > 1 > 35-49
IEEE Software > 2016 > 33 > 3 > 10 - 12
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Reliable Software Development: Analysis-Aware Design > 1-2
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Guaranteeing Correctness > 49-56
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Design, Analysis and Tools > 237-244