A tutorial on using Dafny to construct verified software

  1. Lucio, P.
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Datum der Publikation: 2017

Ausgabe: 237

Seiten: 1-19

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.237.1 GOOGLE SCHOLAR lock_openOpen Access editor

Ziele für nachhaltige Entwicklung

Datenquelle: Scopus