DMCA

A Specification Logic for Termination Reasoning

Cached

Download Links

by Ton-chanh Le , Cristian Gherghina , Aquinas Hobor , Wei-ngan Chin