ETAPS 2019 (series) / Bishoksan Kafle
![Bishoksan Kafle](https://conf.researchr.org/getProfileImage/bishoksankafle/293dd582-ad5d-4aa6-9445-c750533f6cea/small.jpg?1711503096000)
Registered user since Wed 10 Dec 2014
Name:Bishoksan Kafle
Country:Australia
Affiliation:The university of Melbourne
Personal website: http://akira.ruc.dk/~kafle/
Research interests:program analysis and verification, Horn clause verification and analysis, program transformation/specialisation, model checking
Contributions
ETAPS 2019-profile
View general profile
View general profile