A tutorial on using Dafny to construct verified software

  1. Lucio, P.
Actes de conférence:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Année de publication: 2017

Volumen: 237

Pages: 1-19

Type: Communication dans un congrès

DOI: 10.4204/EPTCS.237.1 GOOGLE SCHOLAR lock_openAccès ouvert editor

Objetivos de desarrollo sostenible

La source de données: Scopus