Proceedings of the 19th International SPIN Workshop on Model Checking of Software (SPIN'12)

David Parker

Lecturer
School 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 >>

Postdoc position at Birmingham on "Automated Game-Theoretic Verification of Security Systems". Applications close 4 Sep 2013.

[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]

Downloads: $bib$ bib

Notes: The original publication is available at www.springerlink.com.

Links: [Google] [Google Scholar] [CiteSeer]