Certified size-change termination (2007)

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