Lohar, Debasmita

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname

Lohar, Debasmita

Main Affiliation Organisationszuordnung

Application-oriented Formal Verification - Karlsruhe Institute of Technology (Karlsruhe, DE)

ORCID

0000-0001-8639-4116