CCJ
From MaRDI portal
swMATH12808MaRDI QIDQ24732FDOQ24732
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://www.cs.vu.nl/manta/
(4)
This page was built for software: CCJ