BibTeX record conf/icse/OliveiraRGHMB13

download as .bib file

  author    = {Diego Caminha Barbosa De Oliveira and
               Zvonimir Rakamaric and
               Ganesh Gopalakrishnan and
               Alan Humphrey and
               Qingyu Meng and
               Martin Berzins},
  title     = {Practical formal correctness checking of million-core problem solving
               environments for {HPC}},
  booktitle = {SE-CSE@ICSE},
  pages     = {75--83},
  publisher = {{IEEE} Computer Society},
  year      = {2013}
a service of Schloss Dagstuhl - Leibniz Center for Informatics