Agathe Merceron, G. Michele Pinna. Refinement and Modular Verification with Observers. In 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings. pages 216-225, IEEE Computer Society, 2000. [doi]
@inproceedings{MerceronP00,
title = {Refinement and Modular Verification with Observers},
author = {Agathe Merceron and G. Michele Pinna},
year = {2000},
doi = {10.1109/APAQ.2000.883795},
url = {http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883795},
tags = {refinement},
researchr = {https://researchr.org/publication/MerceronP00},
cites = {0},
citedby = {0},
pages = {216-225},
booktitle = {1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-0825-1},
}