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