Normal view MARC view

SpringerLink (Online service) (Corporate Name)

Preferred form: SpringerLink (Online service)

Machine generated authority record.

Work cat.: (OSt): Formal System Verification