Bibliographic Citation
| - Genet Thomas, Haudebourg Timothée, Jensen Thomas. Verifying Higher-Order Functions with Tree Automata. FoSSaCS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessalonique, Greece. pp.565-582, ⟨10.1007/978-3-319-89366-2_31⟩
- Genet Thomas, Haudebourg Timothée, Jensen Thomas. Verifying Higher-Order Functions with Tree Automata. FoSSaCS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessalonique, Greece. pp.565-582, ⟨10.1007/978-3-319-89366-2_31⟩
|