Back to Results
First PageMeta Content
Logic in computer science / Symposium on Principles of Programming Languages / International Semantic Web Conference / Separation logic / Automated reasoning / Computer Aided Verification / Abstract interpretation / Vasant Honavar / Vienna Summer of Logic


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

Document Date: 2015-01-29 21:52:24

Open Document

File Size: 166,55 KB

Share Result on Facebook