Author: João Carlos Silva
Publication Overview
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