Simão followed the research interests: Concurrency Theory, Type Systems, and Type Theory 2011-03-01 07:41:40 -0800
Simão started following the work of 2 people. 2011-03-01 06:58:16 -0800
Simão followed the research interests: Compilers, Programming Language Semantics, Safety and Reliability, Programming Languages, Computer Security... (6 more) Compilers, Programming Language Semantics, Safety and Reliability, Programming Languages, Computer Security, Computer Security And Reliability, Information Security And Cryptography, Parallel Program Verification, Formal methods, Formal Methods (Formal Verification), and Computer Science 2010-12-14 11:41:38 -0800
Universidade da Beira Interior
Faculty Member, Computer Science Department
Need an account? Click here to sign up
Enter the email address you signed up with, and we'll send a reset password email to that address
