Pavlos Efstathopoulos, Andrew Hawthorn
Optimizing verification effort with SPARK 2014
HILT, 2013.
@inproceedings{HILT-2013-EfstathopoulosH, author = "Pavlos Efstathopoulos and Andrew Hawthorn", booktitle = "{Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology}", doi = "10.1145/2527269.2527276", isbn = "978-1-4503-2467-0", pages = "19--20", publisher = "{ACM}", title = "{Optimizing verification effort with SPARK 2014}", year = 2013, }