Normal view
MARC view
Jeff Magee (Personal Name)
Machine generated authority record.
Work cat.: (3228): Jeff Magee, Concurrency : state models & Java programs, 2006