138
click to vote
FM
2009
Springer
16 years 10 days ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...