Paper accepted at RAMiCS

June 20, 2012
in terms

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