J. C. Silva, J. C. Campos and J. Saraiva
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag. 2007.

visit publisher   visit publisher  

@INPROCEEDINGS{SilvaCS:07,
 author = {J. C. Silva and J. C. Campos and J. Saraiva},
 title = {Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications},
 booktitle = {Interactive Systems: Design, Specification and Verification},
 year = {2007},
 volume = {4323},
 series = {Lecture Notes in Computer Science},
 pages = {137-150},
 editor = {G. Doherty and A. Blandford},
 publisher = {Springer-Verlag},
 hdl = {1822/6616},
 doi = {10.1007/978-3-540-69554-7_11}
}

Generated by mkBiblio 2.6.26