EasyChair Smart SlideDocs/Log in
Author: Kihong Heo

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

Beyond Deductive Methods in Program Analysis

Beyond Deductive Methods in Program Analysis

Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee and Mayur Naik

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