![](/img/cover-not-exists.png)
[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Bringing safe, dynamic parallel programming to the spark verifiable subset of ada
Taft, S. TuckerYear:
2013
Language:
english
DOI:
10.1145/2527269.2527279
File:
PDF, 394 KB
english, 2013