GANIMAL
From MaRDI portal
swMATH30822MaRDI QIDQ42536FDOQ42536
Author name not available (Why is that?)
Official website: http://www.rw.cdl.uni-saarland.de/projects/ganimal/
Cited In (16)
This page was built for software: GANIMAL