Publications

Deductive Verification of Parallel Programs Using Why3

AuthID
P-00G-T21

Author(s)

Santos, C

Martins, F

Vasconcelos, VT

Editor(s)

Lanese I.Knight S.Lluch-Lafuente A.Vieira H.T.

Document Type

Article

Year published

2015

Published

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE in EPTCS, ISSN: 2075-2180

Volume: 189, Issue: 189, Pages: 128-142 (15)

Conference

8Th Interaction and Concurrency Experience, Ice 2015, Date: 4 June 2015 through 5 June 2015, Sponsors: Microsoft Research - INRIA Joint Centre

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/550977

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.4204/eptcs.189.11

DBLP: journals/corr/SantosMV15

SCOPUS: 2-s2.0-84957634371

Wos: WOS:000367339200010

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Deductive Verification of Parallel Programs Using Why3

Useful Links

Get Help

Federated Authentication (Click on the image)

Deductive Verification of Parallel Programs Using Why3

Useful Links

Get Help