DMCA

Proving Termination of Programs Automatically with AProVE?

by J. Giesl , M. Brockschmidt , F. Emmes , F. Frohn , C. Fuhs , C. Otto , P. Schneider-kamp , S. Swiderski , R. Thiemann
Citations:5 - 4 self