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