David Parker
Reader, Computer Science, University of Birmingham
[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.