DaftarIsitemplate

Call Number

004 Lec

Title

Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23

Author

J. Bergstra;

Publisher

Springer, 1981

Subject

Location