Was the paper 'Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq' published in the year 2013?
Was 'Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq' published in 2013?
ASK { <https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13> <https://dblp.org/rdf/schema#yearOfPublication> '2013' }
<https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13>