Disjunctive image computation for embedded software verification

Chao Wang
Zijiang Yang
Aarti Gupta
DATE(2006), pp. 1205-1210

Abstract

Research Areas