A tutorial on using Dafny to construct verified software
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Datum der Publikation: 2017
Ausgabe: 237
Seiten: 1-19
Art: Konferenz-Beitrag