DMCA

Proving total correctness of programs Total Correctness = Correctness + Termination

Cached

Download Links

by Laure Gonnord