Back to Results
First PageMeta Content
Computer science / Concurrency / Model checking / Logic in computer science / Correctness / Temporal logic / Software development process / Formal verification / Formal methods / Theoretical computer science / Applied mathematics


Microsoft PowerPoint - ESWEEK08-final-pdf.ppt
Add to Reading List

Document Date: 2012-12-31 04:25:30

Open Document

File Size: 207,90 KB

Share Result on Facebook
UPDATE