Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Confirmed Publications: 71



71
TITLE: Observational Refinement Process
AUTHORS: Alexandre Madeira ;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 214, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 8 of 8. Total results: 71.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service