DaftarIsitemplate

Call Number

004 Int c

Title

An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97

Author

S. Rajan; N. Shankar; M. K. Srivas;

Publisher

Springer, 1995

Subject

Location