Login / Signup

Implementations of Abstract Data Types and Their Verifaction.

Jacques Loeckx
Published in: GI Jahrestagung (1981)
Keyphrases