see also the index (by topic, by tool, by reference, by year)
VerifyThis @ ETAPS 2021
http://www.pm.inf.ethz.ch/research/verifythis.html
The VerifyThis competition at ETAPS 2021
- VerifyThis 2021: DLL to BST
- VerifyThis 2021: Lexicographic Permutations (version 1)
- VerifyThis 2021: Lexicographic Permutations (version 2)
- VerifyThis 2021: Shearsort
- VerifyThis 2021: Shearsort (modified)
see also the index (by topic, by tool, by reference, by year)