ISSE

Search

Correctness of Generic Modules

W. Reif

Correctness of Generic Modules

published 1992 in: Berlin Nerode and Taitslin, editors, Symposium on Logical Foundations of Computer Science, Logic at Tver, Tver, Russia

Publisher: Springer LNCS 620