Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Lightweight Approach to Automatic Error Detection Using Program Invariants
Publication

Publications

Lightweight Approach to Automatic Error Detection Using Program Invariants

Title
Lightweight Approach to Automatic Error Detection Using Program Invariants
Type
Article in International Conference Proceedings Book
Year
2012
Authors
João Santos
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications Without AUTHENTICUS Without ORCID
Rui Abreu
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Conference proceedings National
The 5th Meeting of Young Researchers at UP (IJUP)
Scientific classification
FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering
Other information
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-09 at 05:01:38 | Privacy Policy | Personal Data Protection Policy | Whistleblowing