GROOVE: Graphs for Object-Oriented Verification

Publications: in EPrints
Further information: http://groove.sf.net/