Jump to Content

Disjunctive image computation for software verification

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

Abstract

Research Areas