IFIP
1994
Springer
14 years 3 months ago
1994
Springer
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...