Login / Signup
Marzina Vidal
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Global Constraints
Software Platform
Top Venues
CoRR
Sci. Comput. Program.
</>
Publications
</>
Marzina Vidal
,
Tiago Massoni
,
Franklin Ramalho
A domain-specific language for verifying software requirement constraints.
Sci. Comput. Program.
197 (2020)
Marzina Vidal
,
Tiago Massoni
,
Franklin Ramalho
A Domain-Specific Language for Verifying Software Requirement Constraints.
CoRR
(2019)