Not registered as user yet

Name: Matthew Heimerdinger

Affiliation: Indiana University

Contributions

LAFI 2019Author of Verified Equational Reasoning on a Little Language of Measures within the LAFI (né PPS)-track