Non-determinism

Paper accepted at RAMiCS

June 20, 2012

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).