MaRDI QIDQ129525CRANFDO
Authors Steffen Jeske, Madhurima Majumder, Hermann Kulmann, Franco Mendolia, Silke Janitza
Last update 22 February 2021
Copyright license GNU General Public License, version 3.0
Software version identifier 1.1
This page was built for software: elaborator
