Simão Melo De Sousa

Simão Melo De Sousa

Universidade da Beira Interior - Covilhã / Portugal
Engineering & Technology / Computer Science
AD Scientific Index ID: 4368585
University of Beira Interior
person_outline Simão Melo De Sousa's MOST POPULAR ARTICLES
1-) A formal executable semantics of the JavaCard platformG Barthe, G Dufay, L Jakubiec, B Serpette, SM SousaEuropean Symposium on Programming, 302-319, 2001862001
2-) Rigorous software development: an introduction to program verificationJB Almeida, MJ Frade, JS Pinto, SM de SousaSpringer Science & Business Media, 2011772011
3-) Rigorous software development: an introduction to program verificationJB Almeida, MJ Frade, JS Pinto, SM de SousaSpringer Science & Business Media, 2011772011
4-) An overview of formal methods tools and techniquesJB Almeida, MJ Frade, JS Pinto, SM de SousaRigorous Software Development, 15-44, 2011562011
5-) Secure biometric authentication with improved accuracyM Barbosa, T Brouard, S Cauchie, SM De SousaInformation Security and Privacy: 13th Australasian Conference, ACISP 2008 …, 2008562008