Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cláudio Belo Lourenço
conf.researchr.org general profile
ICSE 2019 profile
Registered user since Sun 17 Mar 2019
Name:
Cláudio Belo Lourenço
Affiliation:
LRI, Université Paris-Sud & INRIA Saclay
Contributions
2019
FormaliSE
Author of A Generalized Program Verification Workflow Based on Loop Elimination and SA Form within the FormaliSE 2019-track
Share
x
Fri 19 Apr 08:35