Wiki Agenda Contact English version

see also the index (by topic, by tool, by reference, by year)


The 2nd Verified Software Competition

https://sites.google.com/site/vstte2012/compet

The 2nd Verified Software Competition, proposed by J.-C. Filliâtre, A. Paskevich, and A. Stump


see also the index (by topic, by tool, by reference, by year)