Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Computing / Formal methods / Logic in computer science / Software testing / Electronic design automation / Formal verification / Abstract interpretation / KeY / Satisfiability modulo theories / Model checking


Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai
Add to Reading List

Document Date: 2018-10-25 12:43:22


Open Document

File Size: 2,44 MB

Share Result on Facebook