Disjunctive image computation for software verification

ACM Transactions on Design Automation of Electronic Systems 2007 / 04 Vol. 12; Iss. 2

Disjunctive image computation for software verification

Wang, Chao, Yang, Zijiang, Ivančić, Franjo, Gupta, Aarti
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
12
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1230800.1230802
Date:
April, 2007
File:
PDF, 370 KB
english, 2007
Conversion to is in progress
Conversion to is failed