![](/img/cover-not-exists.png)
[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Leading-edge Ada verification technologies
Belt, Jason, Chalin, Patrice, Hatcliff, John, Robby,Year:
2012
Language:
english
DOI:
10.1145/2402676.2402679
File:
PDF, 358 KB
english, 2012