Maarten Boote

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote
A software framework for automated verification. SAC (2007)