Proving termination of imperative programs using Max-SMT
- Larraz, D.
- Oliveras, A.
- Rodriguez-Carbonell, E.
- Rubio, A.
Konferenzberichte:
2013 Formal Methods in Computer-Aided Design, FMCAD 2013
ISBN: 9780983567837
Datum der Publikation: 2013
Seiten: 218-225
Art: Konferenz-Beitrag