%0 Conference Paper %1 conf/nfm/HuangM15 %A Huang, Yu %A Mercer, Eric %B NFM %D 2015 %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 219-233 %T Detecting MPI Zero Buffer Incompatibility by SMT Encoding. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#HuangM15 %V 9058 %@ 978-3-319-17523-2

@inproceedings{conf/nfm/HuangM15, added-at = {2017-05-25T00:00:00.000+0200}, author = {Huang, Yu and Mercer, Eric}, biburl = {https://www.bibsonomy.org/bibtex/221fa61e495ddfe1aa3803fa9a547ab76/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2015}, editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-319-17524-9_16}, interhash = {f1e76379633858b9e9a6d23fa1c11f14}, intrahash = {21fa61e495ddfe1aa3803fa9a547ab76}, isbn = {978-3-319-17523-2}, keywords = {dblp}, pages = {219-233}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:10:55.000+0200}, title = {Detecting MPI Zero Buffer Incompatibility by SMT Encoding.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#HuangM15}, volume = 9058, year = 2015 }