DaftarIsitemplate

Call Number

004 Woo f

Title

Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-678

Author

Debora Weber-Wulff;

Publisher

Springer, 1993

Subject

Location