109
click to vote
ZUM
15 years 8 months ago
1995 Springer 
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
|
Formal Methods