Disjunctive image computation for software verification

Chao Wang
Zijiang Yang
Aarti Gupta
ACM Trans. Design Autom. Electr. Syst., 12(2007)

Abstract

Research Areas