EasyChair Smart SlideDocs/Log in
Author: Nian-Ze Lee

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

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification

Philipp Wendler, Dirk Beyer and Nian-Ze Lee

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