@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