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

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 166,55 KB