Back to Results
First PageMeta Content
Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement


Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University
Add to Reading List

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


Open Document

File Size: 3,03 MB

Share Result on Facebook