DSpace UNL

RUN >

Browsing by Author Ferreira, Carla

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
2012Information flow analysis using data-dependent logical propositionsFerreira, Paulo Jorge Abreu Duarte
2013Preventing atomicity violations with contractsSousa, Diogo Miguel Gaspar de
2009Refinamento de diagramas de classes: análise e verificaçãoFerreira, Ana Cristina Martins
2009Verificação de protocolos de e-votingReis, Maria de Fátima Rodrigues
2009Web services recovery mechanismsCosta, Rui Filipe Vital Guerreiro da
Showing results 1 to 5 of 5

 

Universidade Nova de Lisboa  - Statistics  - Feedback
Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE