![]() |
@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}
}
Copyright © 2009-04-14 by Michael Ley (ley@uni-trier.de)