Marijn Rol

According to our database, Marijn Rol authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Verifying System-Wide Properties of Industrial Component-Based Software.

Thomas Neele, Marijn Rol, Jan Friso Groote

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019