Formalizing Non-Termination of Recursive Programs (2001)

by Reinhard Kahle , Reinhard Kahle , Thomas Studer , Thomas Studer
Venue:J. of Logic and Algebraic Programming
Citations:1 - 0 self