Search results for: Jan Friso Groote
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Rewriting and Theorem-Proving Techniques > 250-254
Science of Computer Programming > 2016 > 128 > C > 51-67
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 74-90
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing and Verification > 585-590
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 436-450
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 314-331
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The INESS Project > 166-185
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 148-163
Lecture Notes in Computer Science > CONCUR '91 > 235-249