The Size-Change Principle for Program Termination (2001)

Cached

Download Links

by Chin Soon Lee , Neil D. Jones , Amir M. Ben-amram
Citations:176 - 11 self