‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Fabio Fioravanti

Not registered as user yet

Name: Fabio Fioravanti

Country: Italy

Affiliation: University of Chieti-Pescara

Personal website: https://www.sci.unich.it/~fioravan/

Contributions

VPT 2019 Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Show activities from other conferences

‹Programming› 2019-profile
View general profile