Roderick Chapman, Robert Dewar
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT
AdaEurope, 1999.
@inproceedings{AdaEurope-1999-ChapmanD,
author = "Roderick Chapman and Robert Dewar",
booktitle = "{Proceedings of the Fourth Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/3-540-48753-0_4",
isbn = "3-540-66093-3",
pages = "39--51",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT}",
volume = 1622,
year = 1999,
}