Login / Signup

An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification.

S. Sridhar
Published in: FSTTCS (1986)
Keyphrases