Sciweavers

67
Voted
BIRTHDAY
2005
Springer
15 years 2 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier