author : Bernd Krieg-Bruckner

Short works

• The UniForM Workbench, a Universal Development Environment for Formal Methods. 1999. (In FM'99 volume 2 )