Archive for June, 2012
GROOVE version 4.5.2 released
GROOVE version 4.5.2 was released. You can get it from the Download page. This is a bug fix release.
Posted: June 6th, 2012 under News.
Comments: none
GRaphs for Object-Oriented VErification
GROOVE version 4.5.2 was released. You can get it from the Download page. This is a bug fix release.
Posted: June 6th, 2012 under News.
Comments: none