Write a Blog >>
AI-SEPS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
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

Show activities from other conferences

SPLASH 2019-profile
View general profile