Search results for: Willem-Paul Roever
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 5-20
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 470-477
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Java and .NET > 155-169
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 595-608
Lecture Notes in Computer Science > Logics of Programs > 513-527
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science