The connection between applicative and procedural languages in an integrated software development and verification system

Walter G. Olthoff. The connection between applicative and procedural languages in an integrated software development and verification system. PhD thesis, Kaiserslautern University of Technology, Germany, 1987. [doi]

Abstract

Abstract is missing.