Isabelle/DOF: Design and Implementation
Keyword(s):
2015 ◽
Vol 24
(3)
◽
pp. 106-113
◽
2017 ◽
Vol 17
(4)
◽
pp. 298-311
◽