Home
People
Departments
Research
About
Login

Search

DS-4 Journal

Overview

Overview

publication venue for

Proof-Theoretic Semantics of Object-Oriented Specification Constructs. 1990

McMaster Experts is powered by VIVO

About
Capability Map
Contact Us
Index
Login
Terms of Use