see also the index (by topic, by tool, by reference, by year)
VerifyThis @ ETAPS 2015
http://etaps2015.verifythis.org/
The VerifyThis competition at ETAPS 2015
- VerifyThis 2015: solution to problem 1
- VerifyThis 2015: solution to problem 2
- VerifyThis 2015: solution to problem 3
see also the index (by topic, by tool, by reference, by year)