DaftarIsitemplate

Call Number

004 Int c

Title

A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35

Author

K. L. McMillan;

Publisher

Springer, 1997

Subject

Location