Publicações

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(es)

Doherty, G; Blandford, A

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

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

Volume: 4323, Páginas: 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^®/pt/publications/view/144916

Crossref^®3

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda