![](/img/cover-not-exists.png)
Assessing the practical benefits of formal methods for software development
G Droschl, W Kuhn, G Sonneck, M ThuswaldVolume:
40
Year:
2002
Language:
english
Pages:
12
DOI:
10.1016/s0925-7535(01)00082-0
File:
PDF, 186 KB
english, 2002