%0 Conference Paper %1 conf/icse/OliveiraRGHMB13 %A Oliveira, Diego Caminha Barbosa De %A Rakamaric, Zvonimir %A Gopalakrishnan, Ganesh %A Humphrey, Alan %A Meng, Qingyu %A Berzins, Martin %B SE-CSE@ICSE %D 2013 %E Carver, Jeffrey C. %I IEEE Computer Society %K dblp %P 75-83 %T Practical formal correctness checking of million-core problem solving environments for HPC. %U http://dblp.uni-trier.de/db/conf/icse/secse2013.html#OliveiraRGHMB13 %@ 978-1-4673-6261-0

@inproceedings{conf/icse/OliveiraRGHMB13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Oliveira, Diego Caminha Barbosa De and Rakamaric, Zvonimir and Gopalakrishnan, Ganesh and Humphrey, Alan and Meng, Qingyu and Berzins, Martin}, biburl = {https://www.bibsonomy.org/bibtex/22d05c9685b68d34db8cc6fba3681702e/dblp}, booktitle = {SE-CSE@ICSE}, crossref = {conf/icse/2013secse}, editor = {Carver, Jeffrey C.}, ee = {http://dl.acm.org/citation.cfm?id=2663381}, interhash = {f5d4d5919e4cb3d84bd153bbe60d9b2d}, intrahash = {2d05c9685b68d34db8cc6fba3681702e}, isbn = {978-1-4673-6261-0}, keywords = {dblp}, pages = {75-83}, publisher = {IEEE Computer Society}, timestamp = {2020-07-04T12:03:35.000+0200}, title = {Practical formal correctness checking of million-core problem solving environments for HPC.}, url = {http://dblp.uni-trier.de/db/conf/icse/secse2013.html#OliveiraRGHMB13}, year = 2013 }