Certified size-change termination (2007)

View PDF

Download Links

by Alexander Krauss
Venue:In Proc. 21st CADE, volume 4603 of LNAI
Citations:15 - 1 self