![Thumbnail](/bitstream/handle/20.500.11850/457100/VerifyThis2019.pdf.jpg?sequence=8&isAllowed=y)
Open access
Date
2020-12Type
- Working Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000457100Publication status
publishedExternal links
Journal / series
arXivPages / Article No.
Publisher
Cornell UniversityEdition / version
2Subject
functional correctness; correctness proofs; program verification; verification competitionOrganisational unit
03653 - Müller, Peter / Müller, Peter
Related publications and datasets
Is part of: https://doi.org/10.3929/ethz-b-000489724
More
Show all metadata
ETH Bibliography
yes
Altmetrics