Bruno Mermet, Dominique Méry. Service specifications: to B, or not to B. In Mark A. Ardis, Joanne M. Atlee, editors, Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. pages 62-69, ACM, 1998. [doi]
@inproceedings{MermetM98,
title = {Service specifications: to B, or not to B},
author = {Bruno Mermet and Dominique Méry},
year = {1998},
doi = {10.1145/298595.298859},
url = {http://doi.acm.org/10.1145/298595.298859},
researchr = {https://researchr.org/publication/MermetM98},
cites = {0},
citedby = {0},
pages = {62-69},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA},
editor = {Mark A. Ardis and Joanne M. Atlee},
publisher = {ACM},
isbn = {0-89791-954-8},
}