A tutorial on using Dafny to construct verified software

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

ISSN: 2075-2180

Año de publicación: 2017

Volumen: 237

Páginas: 1-19

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.237.1 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus