![](/img/cover-not-exists.png)
[ACM Press the second workshop - Clearwater Beach, Florida, United States (1998.03.04-1998.03.05)] Proceedings of the second workshop on Formal methods in software practice - FMSP '98 - Service specifications
Mermet, Bruno, Méry, DominiqueYear:
1998
Language:
english
DOI:
10.1145/298595.298859
File:
PDF, 970 KB
english, 1998