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

Cached

Download Links

by Bernd Krieg-Brückner , Jan Peleska , Ernst-Rüdiger Olderog , Alexander Baer
Venue:FM'99
Citations:20 - 2 self