Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)

Author detail

1 featured book

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

OL5167454A

Overview

Catalog identity and bibliographic footprint for this author.

1 representative edition

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
Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)
Source identifier
OL5167454A

Representative editions for works actually authored by this person.

ProceedingsWorkshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)
P
Proceedings
Proceedings | 1999
Representative edition for this work grouping in the active catalog.
no cover

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