%0 Conference Paper %1 conf/sigada/CourtieuACZRBHG13 %A Courtieu, Pierre %A Aponte, Maria-Virginia %A Crolard, Tristan %A Zhang, Zhi %A Robby, %A Belt, Jason %A Hatcliff, John %A Guitton, Jérôme %A Jennings, Trevor %B HILT %D 2013 %E Boleng, Jeff %E Taft, S. Tucker %I ACM %K dblp %P 21-22 %T Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#CourtieuACZRBHG13 %@ 978-1-4503-2467-0

@inproceedings{conf/sigada/CourtieuACZRBHG13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Courtieu, Pierre and Aponte, Maria-Virginia and Crolard, Tristan and Zhang, Zhi and Robby and Belt, Jason and Hatcliff, John and Guitton, Jérôme and Jennings, Trevor}, biburl = {https://www.bibsonomy.org/bibtex/260ce557d11795b7d8c0ceedcbc301bb0/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2013}, editor = {Boleng, Jeff and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2527269.2527278}, interhash = {7c06df3b5e076a55e9f537a2d1c5c4f4}, intrahash = {60ce557d11795b7d8c0ceedcbc301bb0}, isbn = {978-1-4503-2467-0}, keywords = {dblp}, pages = {21-22}, publisher = {ACM}, timestamp = {2018-11-07T12:48:00.000+0100}, title = {Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2013.html#CourtieuACZRBHG13}, year = 2013 }