Skip to content
Vinony

Computer Aided Verification

by Daniel Kroening, Corina S. Păsăreanu

Cover of Computer Aided Verification

No description available.

Computer software, verificationLogic, symbolic and mathematical
Computer Aided Verification by Daniel Kroening, Corina S. Păsăreanu — book · Vinony