Login / Signup
Mircea-Serban Vasiliniuc
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Rapid Prototyping
Code Generation
Formal Specification
Application Development
Top Venues
CoRR
ICCP
</>
Publications
</>