João Carlos Silva, José Creissac Campos, João Saraiva. Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. In Gavin J. Doherty, Ann Blandford, editors, Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Volume 4323 of Lecture Notes in Computer Science, pages 137-150, Springer, 2006. [doi]
Abstract is missing.