Login / Signup

A Model-Theoretic Approach to Specification, Extension, and Implementation.

Cyrus F. Nourani
Published in: Symposium on Programming (1980)
Keyphrases