Kevin Buzzard - Dutch Formal Methods Day 2024

Tue 16 Apr 2024 Utrecht, Netherlands

Not registered as user yet

Name:Kevin Buzzard

Affiliation:Imperial College London

Contributions

2024

Dutch Formal Methods Day

Why formalise mathematics?

Show activities from other conferences

Dutch Formal Methods Day 2024-profile
View general profile