Luiz Grijo

According to our database, Luiz Grijo authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Architectural Verification of Control Systems Using CSP.

Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo

Proceedings of the Formal Methods and Software Engineering, 2011