We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Ed-inburgh at the VSTTE 2010 conference.
Teaching seminars, and undergraduate and graduate courses in programming languages. Teaching seminars, and graduate and undergraduate courses in programming languages and semantics. Developed and taught a new undergraduate course " Object-Oriented Analysis and Design " (2002–2003). Developed and taught an undergraduate course " Introduction to Computer… (More)