Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Symposium on Principles of Programming Languages / International Joint Conference on Automated Reasoning / Automated reasoning / International Semantic Web Conference / Satisfiability modulo theories / Computer Aided Verification / Separation logic / Workshop on Reachability Problems / Vienna Summer of Logic


Curriculum Vitae Ruzica Piskac address: The Department of Computer Science
Add to Reading List

Document Date: 2017-01-12 17:03:38

Open Document

File Size: 175,82 KB

Share Result on Facebook
UPDATE