Search results for: Wolfgang Grieskamp
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Specification and automatic proof-assistants > 43-53
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Methods and Test Tools > 252-266
Lecture Notes in Computer Science > Implementation of Functional Languages > Language Concepts > 149-164
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 414-432
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Invited Talks > 1-19
Lecture Notes in Computer Science > FM 2005: Formal Methods > Industry Day: Abstracts of Invited Talks > 542-547
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 25-57
Lecture Notes in Computer Science > Testing – Practice and Research Techniques > Keynote Addresses > 7-7
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 97-112
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 184-195
Lecture Notes in Computer Science