Publicações

Deductive Verification of Parallel Programs Using Why3

AuthID
P-00G-T21

Author(s)

Santos, C

Martins, F

Vasconcelos, VT

Editor(es)

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

Tipo de Documento

Article

Year published

2015

Publicado

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

Volume: 189, Número: 189, Páginas: 128-142 (15)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/550977

Crossref^®

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

Info

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

Deductive Verification of Parallel Programs Using Why3

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Deductive Verification of Parallel Programs Using Why3

Links Úteis

Ajuda