Search results for: Kirsten Winter
Formal Aspects of Computing > 2019 > 31 > 2 > 133-163
Formal Aspects of Computing > 2017 > 29 > 6 > 935-950
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods I - Analysis and Specification > 16-31
Lecture Notes in Computer Science > Integrated Formal Methods > Model Checkers and Theorem Provers > 165-184
Lecture Notes in Computer Science > Integrated Formal Methods > Session: System Development > 129-149
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 331-346
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 56-67
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Automatic Verication and Model Checking > 341-360
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 260-279
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 280-299
IFIP — The International Federation for Information Processing > Theoretical Computer Science > 125-139
Theoretical Computer Science > 2015 > 594 > Complete > 120-142
Formal Aspects of Computing > 2012 > 24 > 2 > 249-266
Software: Practice and Experience > 41 > 11 > 1233 - 1258