see also the index (by topic, by tool, by reference, by year)
VerifyThis @ ETAPS 2017
http://www.pm.inf.ethz.ch/research/verifythis/Archive/2017.html
The VerifyThis competition at ETAPS 2017
- VerifyThis 2017: Maximum-sum submatrix
- VerifyThis 2017: Odd-even transposition sort
- VerifyThis 2017: Odd-even transposition sort (alt)
- VerifyThis 2017: Pair Insertion Sort
- VerifyThis 2017: Tree Buffer
see also the index (by topic, by tool, by reference, by year)