Implementing Angelic Nondeterminism.

Orieta Celiku, Joakim von Wright

Browse the full APSEC paper archive.