Angelic nondeterminism in the unifying t
β
Ana Cavalcanti; Jim Woodcock; Steve Dunne
π
Article
π
2006
π
Springer
π
English
β 240 KB