Proof Theoretic Approach To Specification Languages (1995)

by Jawahar Lal Chirimar
Citations:42 - 0 self