|
David ParkerLecturerSchool of Computer Science University of Birmingham Edgbaston, Birmingham, B15 2TT Email: d.a.parker@cs.bham.ac.uk Tel: +44 (0) 121 41 47264 Office: 107 Office hours: Wed 12.30-1.30, Thu 3-4 |
<< NEWS >>
|
|
[DP12]
Alastair Donaldson and David Parker (editors)
Proceedings of the 19th International SPIN Workshop on Model Checking of Software (SPIN'12).
Volume 7385 of LNCS. Springer.
July 2012.
[bib]
|
|
Notes:
The original publication is available at www.springerlink.com.
|