A Type-Theoretic Analysis of Modular Specifications (1996)

by Savitri Maharaj , Savitri Maharaj
Citations:2 - 1 self