
Registered user since Thu 12 Apr 2018
Name:Arnab Sharma
Country:Germany
Affiliation:University of Paderborn
Research interests:Machine learning, Program Analysis
Contributions
FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile