163
click to vote
BIRTHDAY
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...