Wolfram Kahl

Registered user since Mon 16 Sep 2019

Name:Wolfram Kahl
Country:Canada
Affiliation:McMaster University
Research interests:Software Correctness, Functional and Dependently-Typed Programming, Calculational Reasoning, Graph Transformation

Contributions