Abstract - IPAM

Abstract

Scalable Program Analysis Using Boolean Satisfiability

Alex Aiken

Stanford University

No video available
Back to Affiliates Workshop: Satisfiability Solvers and Program Verification