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