![](/img/cover-not-exists.png)
Application invariants: Design by Contract augmented with deployment correctness logic
Anthony SavidisVolume:
36
Year:
2006
Language:
english
Pages:
28
DOI:
10.1002/spe.695
File:
PDF, 268 KB
english, 2006