Angelic Nondeterminism in the Unifying Theories of Programming

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-006-0001-8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Nature