[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 - Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq
Courtieu, Pierre; Aponte, Maria Virginia; Crolard, Tristan; Zhang, Zhi; Robby, Fnu; Belt, Jason; Hatcliff, John; Guitton, Jerome; Jennings, Trevor
- 作者Courtieu, Pierre; Aponte, Maria Virginia; Crolard, Tristan; Zhang, Zhi; Robby, Fnu; Belt, Jason; Hatcliff, John; Guitton, Jerome; Jennings, Trevor
- 文件大小327.15KB
- 发表时间2013
- DOI10.1145/2527269.2527278
- 页码21-22