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
Affiliation:University of Chieti-Pescara
Research interests:Automatic Verification & Validation, Program Transformation


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

ETAPS 2019-profile
View general profile