‹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