Vol-1230⫷ Vol-1231 ⫸Vol-1232
urn:nbn:de:0074-1231-0


Vol-1231/long17⫷Vol-1231/short1⫸Vol-1231/short2
Silvia SteilaStefano BerardiPaulo Oliva

Proving termination of programs having transition invariants of height ω