A tutorial on using Dafny to construct verified software

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

ISSN: 2075-2180

Argitalpen urtea: 2017

Alea: 237

Orrialdeak: 1-19

Mota: Biltzar ekarpena

DOI: 10.4204/EPTCS.237.1 GOOGLE SCHOLAR lock_openSarbide irekia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus