A tutorial on using Dafny to construct verified software
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Argitalpen urtea: 2017
Alea: 237
Orrialdeak: 1-19
Mota: Biltzar ekarpena