Service specifications

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298859 ◽

1998 ◽

Author(s):

Bruno Mermet ◽

Dominique Méry

Download Full-text