DaftarIsitemplate

Call Number

004 Woo f

Title

Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Computer Science 670) Hal 652-670

Author

Nigel Ward;

Publisher

Springer, 1993

Subject

Location