Normal view MARC view

SpringerLink (Online service) (Corporate Name)

Preferred form: SpringerLink (Online service)

Machine generated authority record.

Work cat.: (OSt): Abstract State Machines, Alloy, B, VDM, and Z