GROOVE: Graphs for Object-Oriented Verification

Duration: January 2011 until January 2011