Proving total correctness of nondeterministic programs in infinitary logic.

Saved in:

Bibliographic Details
Title:	Proving total correctness of nondeterministic programs in infinitary logic.
Authors:	Back, R.¹
Source:	Acta Informatica. 1981, Vol. 15 Issue 3, p233-249. 17p.
Database:	Mathematics Source

Description
ISSN:	00015903
DOI:	10.1007/BF00289263