GRaphs for Object-Oriented VErification
Go here to visit the EPrints page on groove-related publications.