BibTeX record journals/corr/MarquesMVNM13

• > Home > journals/corr/MarquesMVNM13

@inproceedings{DBLP:journals/corr/MarquesMVNM13,
  author       = {Eduardo R. B. Marques and
                  Francisco Martins and
                  Vasco T. Vasconcelos and
                  Nicholas Ng and
                  Nuno Martins},
  editor       = {Nobuko Yoshida and
                  Wim Vanderbauwhede},
  title        = {Towards deductive verification of {MPI} programs against session types},
  booktitle    = {Proceedings 6th Workshop on Programming Language Approaches to Concurrency
                  and Communication-cEntric Software, {PLACES} 2013, Rome, Italy, 23rd
                  March 2013},
  series       = {{EPTCS}},
  volume       = {137},
  pages        = {103--113},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.137.9},
  doi          = {10.4204/EPTCS.137.9},
  timestamp    = {Fri, 27 Mar 2020 08:38:55 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/MarquesMVNM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}