C. Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin. Using formal methods to validate C programs. In 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994. pages 252-258, IEEE, 1994. [doi]
@inproceedings{AntoineBCRT94,
title = {Using formal methods to validate C programs},
author = {C. Antoine and Patrick Baudin and J. M. Collart and Jacques Raguideau and A. Trotin},
year = {1994},
doi = {10.1109/ISSRE.1994.341383},
url = {http://dx.doi.org/10.1109/ISSRE.1994.341383},
researchr = {https://researchr.org/publication/AntoineBCRT94},
cites = {0},
citedby = {0},
pages = {252-258},
booktitle = {5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994},
publisher = {IEEE},
isbn = {0-8186-6665-X},
}