DaftarIsitemplate

Call Number

004 Int c

Title

The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443

Author

Hassen Saidi;

Publisher

Springer, 1997

Subject

Location