@Inproceedings{EPTCS189.11, author = {Santos, C\'esar and Martins, Francisco and Thudichum Vasconcelos, Vasco}, year = {2015}, title = {Deductive Verification of Parallel Programs Using Why3}, editor = {Knight, Sophia and Lanese, Ivan and Lluch Lafuente, Alberto and Torres Vieira, Hugo }, booktitle = {{\rm Proceedings 8th} Interaction and Concurrency Experience , {\rm Grenoble, France, 4-5th June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {189}, publisher = {Open Publishing Association}, pages = {128-142}, doi = {10.4204/EPTCS.189.11}, }