Joel Ouaknine
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Recent News
Miscellaneous
Papers accepted to FoSSaCS 2012
Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software
Info
|
Themes |
|
|
Activities |
|
|
Projects |
Quantitative Verification: From Model Checking to Model Measuring | Verification of Shared-Memory Concurrent Software |
|
Completed Projects |
|
|
Students |
|