Formal Specification in the Revision of
β
D.A. Duce; L.B. Damnjanovic
π
Article
π
1992
π
John Wiley and Sons
π
English
β 633 KB