Proof Theoretic Approach To Specification Languages (1995)

Cached

Download Links

by Discussions Vijay Gehlot , Ramesh Subramanium , Anuj Dawar , Chuck Liang , Jawahar Lal Chirimar , Jawahar Lal Chirimar , Jawahar Lal Chirimar