DaftarIsitemplate

Call Number

004 Int c

Title

Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479

Author

Patrice Godefroid;

Publisher

Springer, 1997

Subject

Location