DaftarIsitemplate

Call Number

004 Int c

Title

On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254)Hal. 376-387

Author

Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis;

Publisher

Springer, 1997

Subject

Location