Date: 2014-10-08 01:07:27

Computer science

Rajeev Alur

Formal sciences

Automata theory

Model checking

IEEE Symposium on Logic in Computer Science

Formal methods

Formal verification

Symposium on Theory of Computing

Theoretical computer science

Applied mathematics

Logic in computer science

Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania

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

File Size: 149,68 KB