Wyniki wyszukiwania dla: Steffen Helke
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 305-319
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 233-248
Lecture Notes in Computer Science > Perspectives of System Informatics > Documentation and Testing > 462-468
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 20-42
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 500-505