Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Dunne
Angelic Nondeterminism in the Unifying Theories of Programming
Formal Aspects of Computing
Theoretical Computer Science
Software
Specification and Refinement in General Correctness