Skip to content

Implementations of Abstract Data Types and Their Verifaction.

Jacques Loeckx

VenueBGI
Year1981
ProceedingsGI Jahrestagung

Browse the full GI paper archive.