DaftarIsitemplate

Call Number

005.133 Bow z

Title

Compilation of Z specifications into C for automatic test result evaluation (LNCS-Lecture Notes in Computer Science), 967

Author

Erich Mikk;

Publisher

Springer, 1995

Subject

Location