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

Document Versions

Proof Theoretic Approach To Specification Languages –Discussions Vijay Gehlot, Ramesh Subramanium, Anuj Dawar, Chuck Liang, Jawahar Lal Chirimar, Jawahar Lal Chirimar, Jawahar Lal Chirimar — 1995