Termination Analysis for Partial Functions (1996)

by Jürgen Brauburger , Jürgen Giesl
Venue:IN PROCEEDINGS OF THE THIRD INTERNATIONAL STATIC ANALYSIS SYMPOSIUM (SAS'96
Citations:11 - 6 self