EasyChair Smart SlideDocs/Log in
Author: Aseem Saxena

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

Effective use of SMT solvers for Program Equivalence Checking through Invariant Sketching and Query Decomposition

Effective use of SMT solvers for Program Equivalence Checking through Invariant Sketching and Query Decomposition

Shubhani Gupta, Aseem Saxena, Anmol Mahajan and Sorav Bansal

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