F
unctional-
A
utomata Dependents
2024
Isabelle/DOF
by
Achim D. Brucker
,
Nicolas Méric
and
Burkhart Wolff
Apr 26