Login / Signup
Roxana-Maria Holom
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 2
Top Topics
Original Images
Automatically Classify
Client Server Databases
Formal Models
Top Venues
Formal Aspects Comput.
WS-FM
EUROCAST
AIAI
</>
Publications
</>