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)
Vasco Thudichum Vasconcelos (Author)
Dep. Informática
LASIGE

Date of Publication
2015-08-19

Event
Electronic Proceedings in Theoretical Computer Science

Publication Identifiers
ISSN - 2075-2180

Publisher
Open Publishing Association

Volume
189

Number of pages
15
Starting page
128
Last page
142

Document Identifiers
DOI - https://doi.org/10.4204/eptcs.189.11
URL - http://dx.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. Electronic Proceedings in Theoretical Computer Science, 128-142

IEEE
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, "Deductive Verification of Parallel Programs Using Why3" in Electronic Proceedings in Theoretical Computer Science, , 2015, pp. 128-142, doi: 10.4204/eptcs.189.11

BIBTEX
@InProceedings{50996, author = {César Santos and Francisco Martins and Vasco Thudichum Vasconcelos}, title = {Deductive Verification of Parallel Programs Using Why3}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, year = 2015, pages = {128-142}, address = {}, publisher = {Open Publishing Association} }