Alexander Baer

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods (1999)