Alastair F. Donaldson / Multicore Programming Group
Department of Computing, Imperial College London
Home
About
News
Publications
Outreach
People
Projects & Grants
Teaching
Service
Awards & Invited Talks
Contact
Publication
Model Checking Software - 19th International Workshop, SPIN 2012
Abstract
The volume contains the papers that were accepted at the 2012
SPIN
workshop.