conf.researchr.org / Maria Paola Bonacina
Not registered as user yet
Name:Maria Paola Bonacina
Affiliation:University of Verona, Italy
Contributions
| CPP 2018 | Author of Proofs in Conflict-Driven Theory Combination within the CPP 2018-track |
Not registered as user yet
Contributions
| CPP 2018 | Author of Proofs in Conflict-Driven Theory Combination within the CPP 2018-track |