Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Georg Stefan Schmid

Registered user since Tue 27 Sep 2016

Name: Georg Stefan Schmid

Affiliation: EPFL, Switzerland

Contributions

Scala 2016 SMT-Based Checking of Predicate-Qualified Types for Scala
Show activities from other conferences

SPLASH 2016-profile
View general profile