@article{DBLP:journals/todaes/YangWGI09,
author = {Zijiang Yang and
Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Model checking sequential software programs via mixed symbolic
analysis},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {14},
number = {1},
year = {2009},
ee = {http://doi.acm.org/10.1145/1455229.1455239},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
