DaftarIsitemplate

Call Number

004 Int c

Title

Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2

Author

F. Erich Marschner;

Publisher

Springer, 1997

Subject

Location