Experiments in information flow

McIver, A. (Speaker)

Activity: Talk or presentationInvited talk

Description

Keynote presentation
Period7 Oct 2019
Held at13th International Conference on<br/>Mathematics of Program Construction
Event typeConference
LocationPorto, Portugal
Degree of RecognitionInternational