DMCA

R.: Proving termination of programs automatically with aprove (2014)

by 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
Venue:In: Proceedings of IJCAR 2014
Citations:5 - 4 self