@InProceedings{places13,
  author = {E. R. B. Marques and F. Martins and V. T. Vasconcelos and N. Ng and N. Martins},
  title = {Towards deductive verification of {MPI} programs against session types},
  booktitle = {Proc. 5th Workshop on Programming Language Approaches to Concurrency and Communication-CEntric Software (PLACES)},
  series={PLACES'13},
  publisher={Elsevier},
  doi={10.4204/EPTCS.137.9},
  pages={103--114},
  year = {2013}
}