Abstract - IPAM

Abstract

Decision Heuristics based on an Abstraction/Refinement Model

Ofer Strichman

Technion - Israel Institute of Technology

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