Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Georg Stefan Schmid

Registered user since Tue 27 Sep 2016

Name: Georg Stefan Schmid

Affiliation: EPFL, Switzerland


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

SPLASH 2016-profile
View general profile