μHML

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]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Antonis Achilleos

This author has not been identified. Look up 'Antonis Achilleos' in Google

Duncan Paul Attard

This author has not been identified. Look up 'Duncan Paul Attard' in Google

Léo Exibard

This author has not been identified. Look up 'Léo Exibard' in Google

Adrian Francalanza

This author has not been identified. Look up 'Adrian Francalanza' in Google

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google