2 search results - page 1 / 1 » fm 1990 |
FM
1990
Springer
15 years 7 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
107
click to vote
FM
1994
Springer
15 years 7 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...