@inproceedings{conf/issta/SiegelMAC06,
title = {Using model checking with symbolic execution to verify parallel numerical programs.},
author = {Stephen F. Siegel and Anastasia Mironova and George S. Avrunin and Lori A. Clarke},
booktitle = {ISSTA},
crossref = {conf/issta/2006},
editor = {Lori L. Pollock and Mauro Pezzè},
pages = {157-168},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2006.html#SiegelMAC06},
year = {2006},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1146238.1146256}, isbn = {1-59593-263-1}, date = {2006-12-06},
keywords = {dblp }
}
::