Maarten Boote

According to our database, Maarten Boote authored at least 1 paper in 2007.

Collaborative distances:

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

2007

A software framework for automated verification.

Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007