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

Registered user since Wed 10 Dec 2014

Name:Bishoksan Kafle
Affiliation:Roskilde University

Contributions

PEPM 2015 Constraint Specialisation in Horn Clause Verification
Show activities from other conferences

PEPM 2015-profile
View general profile