International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)

Author detail

2 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL398059A

Overview

Catalog identity and bibliographic footprint for this author.

2 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

How this author appears inside the active Bookitis catalog.

Display name
International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)
Source identifier
OL398059A

Representative editions for works actually authored by this person.

Quick navigation into the work-level grouping pages behind the featured books.

FME '97
Representative edition published 1997
Open Work
FME '97, industrial applications and strengthened foundations of formal methods
Representative edition published 1997
Open Work