PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India

Registered user since Sat 22 Sep 2018

Name: John P. Gallagher

Affiliation: Roskilde University

Contributions

PEPM 2015 Germán Puebla Memorial
Constraint Specialisation in Horn Clause Verification
Show activities from other conferences

PEPM 2015-profile
View general profile