Publicações

A Generalized Program Verification Workflow Based on Loop Elimination and Sa Form

AuthID
P-00R-277

Author(s)

Lourenço, CB

Frade, MJ

Pinto, JS

Editor(es)

Stefania Gnesi; Nico Plat; Nancy A. Day; Matteo Rossi

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. in FormaliSE@ICSE

Páginas: 75-84

Conference

7Th Ieee/Acm International Workshop on Formal Methods in Software Engineering, Formalise 2019, Date: 27 May 2019

Indexing

Scopus^®

Dblp^®/pt/publications/view/788711

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/formalise.2019.00017

DBLP: conf/icse/LourencoFP19

SCOPUS: 2-s2.0-85072019553

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

A Generalized Program Verification Workflow Based on Loop Elimination and Sa Form

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

A Generalized Program Verification Workflow Based on Loop Elimination and Sa Form

Links Úteis

Ajuda