see also the index (by topic, by tool, by reference, by year)
VerifyThis @ ETAPS 2019
http://www.pm.inf.ethz.ch/research/verifythis.html
The VerifyThis competition at ETAPS 2019
- Cartesian Trees (from VerifyThis 2019) in SPARK
- VerifyThis 2019: Cartesian trees
- VerifyThis 2019: GHC sort
see also the index (by topic, by tool, by reference, by year)