Chad Loseby, Peter Chapin, Carl Brandon
Use of SPARK in a resource constrained embedded system
Ada, 2009.
@inproceedings{SIGAda-2009-LosebyCB,
author = "Chad Loseby and Peter Chapin and Carl Brandon",
booktitle = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}",
doi = "10.1145/1647420.1647441",
isbn = "978-1-60558-475-1",
pages = "87--90",
publisher = "{ACM}",
title = "{Use of SPARK in a resource constrained embedded system}",
year = 2009,
}