DaftarIsitemplate

Call Number

004 Int c

Title

A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231

Author

Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra;

Publisher

Springer, 1997

Subject

Location