Login / Signup
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)