Byron Cook
Proving conditional termination
Here are
the slides
from a talk on proving conditional termination that I gave at CMU.
Newer Post
Older Post
Home