Publisher
Springer Nature Switzerland
Reference16 articles.
1. Agda. https://github.com/agda/agda
2. Aluru, S.: Quadtrees and octrees. In: Mehta, D.P., Sahni, S. (eds.) Handbook of Data Structures and Applications, 2nd edn. Chapman and Hall/CRC, Boca Raton (2017). https://doi.org/10.1201/9781315119335
3. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Brouwer, J.: Practical verification of quadtrees (2021). http://resolver.tudelft.nl/uuid:550c654e-0443-4f00-bab3-d24ed3afc879
5. Lecture Notes in Computer Science;J Esparza,2013