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:
Posted: March 27th, 2013 under News.
Comments: none