Sergio Antoy, Richard G. Hamlet. Self-Checking against Formal Specifications. In Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, editors, Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. pages 355-360, IEEE Computer Society, 1992.
@inproceedings{AntoyH92,
title = {Self-Checking against Formal Specifications},
author = {Sergio Antoy and Richard G. Hamlet},
year = {1992},
researchr = {https://researchr.org/publication/AntoyH92},
cites = {0},
citedby = {0},
pages = {355-360},
booktitle = {Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings},
editor = {Waldemar W. Koczkodaj and Peter E. Lauer and Anestis A. Toptsis},
publisher = {IEEE Computer Society},
isbn = {0-8186-2812-X},
}