DMCA

Trace-based Verification of Imperative Programs with I/O

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