Sciweavers

ZUM
1992
Springer

An International Survey of Industrial Applications of Formal Methods

14 years 2 months ago
An International Survey of Industrial Applications of Formal Methods
Dan Craigen, Susan L. Gerhart, Ted Ralston
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1992
Where ZUM
Authors Dan Craigen, Susan L. Gerhart, Ted Ralston
Comments (0)