DMCA

Proving Termination of Imperative Programs Using Max-SMT

by Daniel Larraz , Albert Oliveras , Enric Rodríguez-carbonell , Albert Rubio
Citations:8 - 3 self