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