![](/img/cover-not-exists.png)
Specifications are necessarily informal or: Some more myths of formal methods
Baudouin Le Charlier, Pierre FlenerVolume:
40
Year:
1998
Language:
english
Pages:
22
DOI:
10.1016/s0164-1212(98)00172-1
File:
PDF, 2.74 MB
english, 1998