Discover open access scientific publications

Search, annotate, share and cite publications

Publications by José C. Campos

The Role of Verification in Interactive Systems Design

Design, Specification and Verification of Interactive Systems ’98

English