Thesis, A Type-theoretic Analysis of Modular Specifications (1992)

by PhD
Venue:Dept. of Computer Science, University of Edinburgh