Constructive methods in computing science : M Broy (ed)

B. Dahn. Constructive methods in computing science : M Broy (ed). Information \& Software Technology, 34(1):66, 1992. [doi]

Abstract

Abstract is missing.