Login / Signup

An Assertion Language for Data Structures.

Stephen A. CookDerek C. Oppen
Published in: POPL (1975)
Keyphrases