Normal view
MARC view
Donaldson, Alastair (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International SPIN Workshop (19th : 2012 : Oxford, England) 45929, Model checking software :, ©2012.