Marzina Vidal

According to our database, Marzina Vidal authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

A domain-specific language for verifying software requirement constraints.

Marzina Vidal, Tiago Massoni, Franklin Ramalho

Sci. Comput. Program., 2020