SPARK by Example

by Léo Creuse, Joffrey Huguet, Christophe Garion, Jérôme Hugues

Published in ACM SIGAda Ada Letters by Association for Computing Machinery (ACM).

2019 Volume 38, p89-96

application/pdf 772.7 kB
file_kriuc7qwqbbrvb4zkz5gpk366a hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Date 2019-12-06
Language en ^?

DOI 10.1145/3375408.3375415

Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L: 1094-3641

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 7a87a227-68f9-4ed4-980b-94067bca24df
API URL: JSON

SPARK by Example an introduction to formal verification through the standard C++ library release_5isbbpjntzhb7fz76vwdwhvyze