Lattice-based SMT for Program Verification

Karine Even-Mendoza, Antti Hyyvarinen, Hana Chockler, Natasha Sharygina

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

227 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Lattice-based SMT for Program Verification'. Together they form a unique fingerprint.

Computer Science