‹Programming› 2019 (series) / 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
VPT 2019 | Lemma Generation for Horn Clause Satisfiability: A Preliminary Study | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
‹Programming› 2019-profile
View general profile
View general profile