DMCA

A Relational Framework for Bounded Program Verification (2009)

by Gregory D. Dennis
Citations:11 - 1 self