-
Created by Unknown User (leberre_1@touchstonenetwork.net), last modified on May 05, 2011 14:24
You are viewing an old version of this page. View the current version.
Compare with Current
View Page History
« Previous
Version 2
Next »
Calculus of Data Structures for Verification and Synthesis
put your abstract here
Ruzica Piskac, EPFL, Lausanne, Switzerland
put your bio here