ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
STAF 2023 (series) / ICGT 2023 (series) / Wolfram Kahl
Wolfram Kahl

Registered user since Mon 16 Sep 2019

Name:Wolfram Kahl
Country:Canada
Affiliation:McMaster University
Personal website: https://www.cas.mcmaster.ca/~kahl/
Research interests:Software Correctness, Functional and Dependently-Typed Programming, Calculational Reasoning, Graph Transformation

Contributions

Show activities from other conferences

STAF 2023-profile
View general profile