Werner Dietl - SPLASH 2021

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Registered user since Sun 11 Sep 2016

Name:Werner Dietl

Country:Canada

Affiliation:University of Waterloo

Personal website: https://ece.uwaterloo.ca/~wdietl/

Contributions

2021

SPLASH

Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification

Show activities from other conferences

SPLASH 2021-profile
View general profile