Cláudio Belo Lourenço - ICGSE 2019

Fri 24 - Sun 26 May 2019 Montreal, QC, Canada

co-located with ICSE 2019

Registered user since Sun 17 Mar 2019

Name:Cláudio Belo Lourenço

Affiliation:LRI, Université Paris-Sud & INRIA Saclay

Contributions

2019

FormaliSE

A Generalized Program Verification Workflow Based on Loop Elimination and SA Form

Show activities from other conferences

ICSE 2019-profile
View general profile