![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Program Construction Volume 69 || A more formal treatment of a less simple example
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.Volume:
10.1007/BF
Year:
1979
Language:
english
DOI:
10.1007/bfb0014650
File:
PDF, 622 KB
english, 1979