Normal view MARC view

Weidlich, Matthias. editor. (Personal Name)

Preferred form: Weidlich, Matthias. editor.

Machine generated authority record.

Work cat.: (OSt): Web Services, Formal Methods, and Behavioral Types