ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Emanuele De Angelis

Registered user since Fri 20 Nov 2015

Name: Emanuele De Angelis

Country: Italy

Affiliation: University of Chieti-Pescara

Personal website: http://www.sci.unich.it/~deangelis/

Research interests: Automatic Verification & Validation, Program Transformation

Contributions

HCVS 2019Co-chair in Organizing Committee within the HCVS-track
Co-chair in Program Committee within the HCVS-track
Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track
Show activities from other conferences

ETAPS 2019-profile
View general profile