Login / Signup

Specification techniques for data abstractions.

Barbara LiskovStephen N. Zilles
Published in: Reliable Software (1975)
Keyphrases