1981
Recursive assertions and parallel programs
Publication
Publication
Acta Informatica , Volume 13 p. 219- 232
Additional Metadata | |
---|---|
Springer | |
Acta Informatica | |
Apt, K. (1981). Recursive assertions and parallel programs. Acta Informatica, 13, 219–232. |