A digital service from FCT Publication
Towards certified program logics for the verification of imperative programs
| Subject: | Ciências da computação e da informação Computer and information sciences |
|---|---|
| Country: | Portugal |
| Document type: | doctoral thesis |
| Access type: | Open |
| Associated institution: | Repositório Aberto da Universidade do Porto |
| Language: | English |
| Origin: | Repositório Aberto da Universidade do Porto |
Similar Items
Drill-down Dashboard for Coordination of Master Programmes in Engineering
Adaptive deterrence sanctions in a normative framework
An efficient method for the numerical integration of measured variable dependent ordinary differential equations
Diagnosis of Rheumatic Heart Disease Based on Echocardiography Videos
Serviços de integração de dados para aplicações biomédicas
Learning from Imbalanced Regression Data Streams
Rethinking a Deep Learning Pipeline for Images
Pattern Based Usability Testing
Temporal Anomaly Detection: An artificial immune approach based on T-cell activation, clonal size regulation and homeostasis
A simulation system to support computer poker research
Evaluation of visualization features in three-dimensional location-based mobile services
Institutional reality and norms: Specifying and monitoring agent organizations
The complexity of the global labor market : ECA USP Ischool approach
A representação da informação nas plataformas digitais dos serviços de arquivo: alguns resultados
História, escolas e movimentos dos indicadores culturais
Biblioteca, educação e literacia informacional em Portugal: resultados iniciais do projeto elit.pt
Políticas culturais, indicadores e comunicação pública = Cultural policies, indicators and public communication
Mediação da informação através de plataformas digitais: prática nas bibliotecas arquivos e museus da área metropolitana do Porto
Roteiro para conhecer e negociar em Portugal: informação para negociação num país em transição digital
Um observatório das Indústrias Criativas em Portugal: o Obcrei.pt
Arquivo Nacional da Torre do Tombo
iKritika: estudos críticos em informação [recensão]
The impact of information design at portuguese companies present in stock exchange
Published: (2015)
Published: (2015)
Análise da Evolução das Actividades Económicas em Portugal através da Metodologia STATIS.
Sistema Informático para Gestão de Operações de Proteçãp Civil - Aplicações móveis de apoio à gestão
Published: (2020)
Published: (2020)
g-tries: an efficient data structure for discovering network motifs
The Teaching of Drawing in the Era of Web 2.0
Introdução ao método dos elementos finitos
Impact of a web-based program to improve food allergy management in schools and restaurants
Documento e informação : as questões ontológica e epistemológica
SAJaS: enabling JADE-based simulations
Web Application Model Generation through Reverse Engineering and UI Pattern Inferring
A comparative cost analysis of fault-tolerance mechanisms for availability on the cloud
Impact of a web-based food allergy training for schools and restaurants: The Food Allergy Community Program
Assessment of Programming Challenges using Gamification
Determinação da energia de deformação entre imagens de objectos utilizando a resolução da equação de Lagrange