MaRDI QIDQ43956swMATHFDO
Official website https://www.isa-afp.org/entries/Differential_Game_Logic.html
This page was built for software: Differential_Game_Logic