Normal view
MARC view
Raschke, Alexander (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): ABZ (Conference) (6th : 2018 : Southampton, England) 63706, Abstract state machines, Alloy, B, TLA, VDM, and Z :