Proof Theoretic Approach To Specification Languages (1995)

by Jawahar Lal Chirimar
Citations:42 - 0 self

Document Versions

Proof Theoretic Approach To Specification Languages –Jawahar Lal Chirimar — 1995
Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar — 1995