Normal view
MARC view
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (Personal Name)
Machine generated authority record
Work cat.: (OSt)1630612: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, Abstract State Machines, Alloy, B, TLA, VDM, and Z