Normal view MARC view

Ahrendt, Wolfgang. editor. (Personal Name)

Preferred form: Ahrendt, Wolfgang. editor.

Machine generated authority record.

Work cat.: (OSt): The Logic of Software. A Tasting Menu of Formal Methods