help

Você está em: Start > Publications > Journals > Electronic Notes in Theoretical Computer Science

Map of Premises

Publication

Electronic Notes in Theoretical Computer Science

Title

ISSN

1571-0661

Source

International

Scientific

Yes

Title

Electronic Notes in Theoretical Computer Science

ISSN

1571-0661

Source

International

Scientific

Yes

Nomes Alternativos

Electronic Notes in Theoretical Computer Science desde 2010 scopus

Publisher

Indexing

—

Journal Articles

Algebraic Specialization of Generic Functions for Recursive Types (2011)
Article in International Scientific Journal
Cunha, A; Pacheco, H

Minimality in a Linear Calculus with Iteration (2008)
Article in International Scientific Journal
Alves, S; Florido, M; Mackie, I; Sinot, FR

Model-based user interface testing with Spec Explorer and ConcurTaskTrees (2008)
Article in International Scientific Journal
José L. Silva; José Creissac Campos; Ana C. R. Paiva

Towards the integration of visual and formal models for GUI testing (2007)
Article in International Scientific Journal
Ana C. R. Paiva; João C. P. Faria ; Raul F. A. M. Vidal