Elisabeth A. Strunk, Xiang Yin 0001, John C. Knight. Echo: a practical approach to formal verification. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 44-53, ACM, 2005. [doi]
@inproceedings{Strunk0K05,
title = {Echo: a practical approach to formal verification},
author = {Elisabeth A. Strunk and Xiang Yin 0001 and John C. Knight},
year = {2005},
doi = {10.1145/1081180.1081187},
url = {https://doi.org/10.1145/1081180.1081187},
researchr = {https://researchr.org/publication/Strunk0K05},
cites = {0},
citedby = {0},
pages = {44-53},
booktitle = {Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005},
editor = {Tiziana Margaria and Mieke Massink},
publisher = {ACM},
}