Ein Verfahren zur rechnerunterstützten Programmkonstruktion

Daltro José Nunes. Ein Verfahren zur rechnerunterstützten Programmkonstruktion. PhD thesis, University of Stuttgart, Germany, 1985. [doi]

Abstract

Abstract is missing.