Author: João Carlos Silva
Publications
Publication period start: 2006
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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