DaftarIsitemplate

Call Number

005.133 Bow z

Title

Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72

Author

Steffen Helke; Thomas Neustupny; Thomas Santen;

Publisher

Springer, 1997

Subject

Location