Author Info
Name
Affiliation
Papers
CLÁUDIO BELO LOURENÇO
INESC TEC, HASLab, Oporto, Portugal; Univ Minho, P-4719 Braga, Portugal
6
Collaborators
Citations 
PageRank 
5
1
2.04
Referers 
Referees 
References 
4
125
54
Search Limit
100125
Title
Citations
PageRank
Year
A generalized program verification workflow based on loop elimination and SA form00.342019
A Generalized Approach to Verification Condition Generation00.342018
A Single-Assignment Translation for Annotated Programs00.342016
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.10.352016
Studying Verification Conditions for Imperative Programs.00.342015
A Bounded Model Checker for SPARK Programs.00.342014