DaftarIsitemplate

Call Number

005.133 Bow z

Title

Mechanizing formal methods : opportunities and challenges (LNCS-Lecture Notes in Computer Science 967), Hal. 105-133

Author

John Rushby;

Publisher

Springer, 1995

Subject

Location