The EEC Workshop on Formal Specification
β
D A Duce
π
Article
π
1982
π
John Wiley and Sons
π
English
β 245 KB