The UniForM Workbench, a Universal Development Environment for Formal Methods (1999)

by Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
Venue:FM’99, Formal Methods. Proceedings, Vol. II. LNCS Volume 1709