Trace-based Verification of Imperative Programs with I/O

by Gregory Malecha , Greg Morrisett , Ryan Wisnesky
Citations:2 - 0 self