Vinta: Verification with INTerpolation and
Author: tawny-fly | Published: 2025-05-29
Description: Vinta: Verification with INTerpolation and Abstract interpretation Arie Gurfinkel (SEICMU) with Aws Albarghouthi and Marsha Chechik (U. of Toronto) and Sagar Chaki (SEICMU), and Yi Li (U. of Toronto) TexPoint fonts used in EMF. Read the
Download Presentation
Download the PPT/PDF: Download
Transcript:
Loading transcript…