Back to Results
First PageMeta Content
Theoretical computer science / Computer science / Formal methods / Computing / Logic in computer science / European Joint Conferences on Theory and Practice of Software / Computer Aided Verification / Software verification / Formal verification / Edmund M. Clarke / Satisfiability modulo theories / Verification


Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada
Add to Reading List

Document Date: 2018-10-19 18:15:18


Open Document

File Size: 223,50 KB

Share Result on Facebook