Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir. μHML. Science of Computer Programming, 232:103031, January 2024. [doi]
@article{AcetoAAEFI24, title = {μHML}, author = {Luca Aceto and Antonis Achilleos and Duncan Paul Attard and Léo Exibard and Adrian Francalanza and Anna Ingólfsdóttir}, year = {2024}, month = {January}, doi = {10.1016/j.scico.2023.103031}, url = {https://doi.org/10.1016/j.scico.2023.103031}, researchr = {https://researchr.org/publication/AcetoAAEFI24}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {232}, pages = {103031}, }