Program Verification in the Presence of I/O: Semantics, Verified Library Routines, and Verified Applications
Paper i proceeding, 2018
Författare
Hugo Férée
University Of Kent
Johannes Åman Pohjola
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
Chalmers, Data- och informationsteknik, Formella metoder
R. Kumar
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
DeepMind
S. Owens
University Of Kent
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Son Ho
École polytechnique
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11294 LNCS 88-111978-303003591-4 (ISBN)
Oxford, United Kingdom,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-030-03592-1_6