19th International SPIN Workshop
on Model Checking of Software
Oxford, 23-24 July 2012
©
Home
CfP
Invited talks
Accepted papers
Programme
Venue
Registration
Sponsors
Photos
NEWS
May 2012
The provisional programme is now
online
.
May 2012
Registration is now
open
.
SPONSORS
SPIN 2012 is sponsored by:
ARM
Codeplay
Microsoft Research
Monoidics
Photos
A few photos from SPIN'12 (courtesy of Georg Weissenbacher & Arnd Hartmanns):
