DaftarIsitemplate

Call Number

004 Lec

Title

The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36

Author

J.A. Berostra; J. V. Tucker;

Publisher

Springer, 1981

Subject

Location