Author: João Carlos Silva

Publications

Publication period start: 2006
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
José Creissac Campos
1
João Saraiva
1

Productive Colleagues

Most productive colleagues in number of publications
João Saraiva
4
José Creissac Campos
14

Publications

Silva, João Carlos, Campos, José Creissac, Saraiva, João (2006): Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of In. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 137-150. https://dx.doi.org/10.1007/978-3-540-69554-7_11