Login / Signup

Stepwise Specification and Implementation of Abstract Data Types.

Hartmut EhrigHans-Jörg KreowskiPeter Padawitz
Published in: ICALP (1978)
Keyphrases