DaftarIsitemplate

Call Number

004 Woo f

Title

Verification tools in the development of provably correct compilers, (LNCS-Lecture Notes in Computer Science 670) Hal 442-461

Author

M. R. K. Krishna Rao; P. K. Pandya; R. K. Shyamasundar;

Publisher

Springer, 1993

Subject

Location