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

by R. N. S. Rowe , S. J. Van Bakel
Citations:4 - 4 self