Login / Signup

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract).

Reuben N. S. RoweSteffen van Bakel
Published in: TLCA (2011)
Keyphrases