see also the index (by topic, by tool, by reference, by year)
Fourth Verified Software Competition (VSComp) 2014
The 4th Verified Software Competition, proposed by Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar
see also the index (by topic, by tool, by reference, by year)