Termination analysis for (1997)

by C Speirs, Z Somogyi, H Søndergaard
Venue:Proceedings of the Fourth International Static Analysis Symposium, (SAS’97