Trace-based verification of imperative programs with I/O - Sciweavers

32

click to vote

more JSC 2011 ...

www.people.fas.harvard.edu

Tweet