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

AuthID
P-00R-277
Document Type
Proceedings Paper
Year published
2019
Published in
7Th Ieee/acm International Workshop on Formal Methods in Software Engineering, Formalise 2019 in: Proceedings - 2019 Ieee/acm 7Th International Workshop on Formal Methods in Software Engineering, Formalise 2019, 27 May 2019
Pages 75-84
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85072019553
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.