DaftarIsitemplate

Call Number

004 Woo f

Title

Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267

Author

Dan Craigen; Susan Gerhart; Ted Ralston;

Publisher

Springer, 1993

Subject

Location