Wiki Agenda Contact English version

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


The 1st Verified Software Competition

http://www.macs.hw.ac.uk/vstte10/Competition.html

The 1st Verified Software Competition, organized by Peter Muller and N. Shankar and held during VSTTE 10. See also vscomp.org.


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