DaftarIsitemplate

Call Number

004 Int c

Title

Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11

Author

Martin Rowe;

Publisher

Springer, 1997

Subject

Location