EasyChair Smart SlideDocs/Log in
Author: Adwait Godbole

This page shows all presentations of this author published in EasyChair Smart Slide.

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora and Sanjit A. Seshia

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair