Christoph Blaue

发表

Anforderungen bei industriellem Softwareengineering: prozedurale Implementierungstechniken im objektorientierten Entwicklungsprozess

Christoph Blaue, 2004 .

A VDM Subset Compiler

Christoph Blaue, Christoph Blaue, 1991, VDM Europe.