FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Arnab Sharma

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