Publications

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(s)

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

Document Type

Proceedings Paper

Year published

2019

Published

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

Pages: 75-84

Conference

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

Indexing

Scopus^®

Dblp^®/en/publications/view/788711

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/formalise.2019.00017

Dblp: conf/icse/LourencoFP19

Scopus: 2-s2.0-85072019553

Export Publication Metadata

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help