DMCA

Automatically proving program termination (2007)

Cached

Download Links

by Byron Cook
Venue:In CAV
Citations:23 - 4 self