Darren Foulger, Steve King
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
AdaEurope, 2001.
@inproceedings{AdaEurope-2001-FoulgerK,
author = "Darren Foulger and Steve King",
booktitle = "{Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/3-540-45136-6_18",
isbn = "3-540-42123-8",
pages = "229--240",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software}",
volume = 2043,
year = 2001,
}