Archive for March, 2013
GROOVE version 4.8.5 released
Apart from bug fixes, the major change since version 4.7 is: Support for importing and exporting ECORE, DOT, GXL
Posted: March 27th, 2013 under News.
Comments: none
GRaphs for Object-Oriented VErification
Apart from bug fixes, the major change since version 4.7 is: Support for importing and exporting ECORE, DOT, GXL
Posted: March 27th, 2013 under News.
Comments: none