![](/img/cover-not-exists.png)
Formal derivation of strongly correct concurrent programs
Axel van Lamsweerde, Michel SintzoffVolume:
12
Language:
english
Pages:
31
DOI:
10.1007/bf00264015
Date:
June, 1979
File:
PDF, 1.60 MB
english, 1979