Proving termination of programs automatically with AProVE

J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski, R. Thiemann

Publikation: Bog/rapportMonografiForskningpeer review

Citationsformater