Sciweavers

ZUM
1992
Springer
16 years 5 hour ago
Specification in Fresco
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
Alan Wills
ZUM
1992
Springer
16 years 6 hour ago
An International Survey of Industrial Applications of Formal Methods
Dan Craigen, Susan L. Gerhart, Ted Ralston