Login / Signup

Adding relational abstraction to programming languages.

David S. Wile
Published in: Formal Methods in Software Development (1990)
Keyphrases