Not registered as user yet

Name:Matthew Heimerdinger
Affiliation:Indiana University

Contributions

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