Search

Gustavo Carvalho

Gustavo Carvalho

Home
Appointments
Awards
Teaching
Projects
Service
Editor PC chair General chair Reviewer
Publications
Supervision
Graduate Undergraduate
Contact

Light Dark Automatic

Eduardo Rocha

Latest

A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite