author : Ernst-Rudiger Olderog

Short works

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