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