J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
Integration Problems in Telephone Feature Requirements
IFM, 1999.
@inproceedings{IFM-1999-GibsonHM,
author = "J. Paul Gibson and Geoff W. Hamilton and Dominique Méry",
booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}",
isbn = "1-85233-107-0",
pages = "129--148",
publisher = "{Springer-Verlag}",
title = "{Integration Problems in Telephone Feature Requirements}",
year = 1999,
}