Can C++ be made as safe as SPARK? release_sj6r75l5o5gs5os7ya3yy7tezy

by David Crocker

Published in SIGAda Conference by ACM Press.

2014   p5-12

Archived Files and Locations

application/pdf  83.6 kB
file_iquhnukv4rgsfgasus37tl3ba4
eschertech.com (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 916cbe5c-b6ee-4fb3-a466-f46acc52d7ef
API URL: JSON