Publications

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

AuthID
P-004-DGM

Author(s)

Silva, JC

Campos, JC

Saraiva, J

Editor(s)

Doherty, G; Blandford, A

Document Type

Proceedings Paper

Year published

2007

Published

in Interactive Systems: Design, Specification, and Verification in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 4323, Pages: 137-150 (14)

Conference

13Th International Workshop on Design, Specification and Verification of Interactive Systems, Date: JUL 26-28, 2006, Location: Dublin, IRELAND

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/144916

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-69554-7_11

Dblp: conf/dsvis/SilvaCS06

Scopus: 2-s2.0-35448976411

Wos: WOS:000244777600011

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Useful Links

Get Help

Federated Authentication (Click on the image)

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Useful Links

Get Help