Proving total correctness of nondeterministic programs in infinitary logic.
Saved in:
| Title: | Proving total correctness of nondeterministic programs in infinitary logic. |
|---|---|
| Authors: | Back, R.1 |
| Source: | Acta Informatica. 1981, Vol. 15 Issue 3, p233-249. 17p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
