BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Deductive Verification of Parallel Programs Using Why3

Participants in the publication
César Santos (Author)
Francisco Martins (Author)
Dep. Informática
LASIGE
Vasco Thudichum Vasconcelos (Author)

Date of Publication
2015

Event
8th Interaction and Concurrency Experience (ICE 2015)

Publication Identifiers
ISBN - ISSN: 20752180

Starting page
128
Last page
142

Document Identifiers
DOI - https://doi.org/10.4204/eptcs.189.11


Export

APA
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, (2015). Deductive Verification of Parallel Programs Using Why3 . 8th Interaction and Concurrency Experience (ICE 2015), 128-142

IEEE
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, "Deductive Verification of Parallel Programs Using Why3 " in 8th Interaction and Concurrency Experience (ICE 2015), , 2015, pp. 128-142, doi: 10.4204/eptcs.189.11

BIBTEX
@InProceedings{34379, author = {César Santos and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Deductive Verification of Parallel Programs Using Why3 }, booktitle = {8th Interaction and Concurrency Experience (ICE 2015)}, year = 2015, pages = {128-142}, address = {}, publisher = {} }