A tutorial on using Dafny to construct verified software

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

ISSN: 2075-2180

Year of publication: 2017

Volume: 237

Pages: 1-19

Type: Conference paper

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

Sustainable development goals

Data source: Scopus