53
Voted
IFIP
1994
Springer
15 years 29 days 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 ...