Registered user since Tue 27 Sep 2016

Name: Georg Stefan Schmid

Affiliation: EPFL, Switzerland

SPLASH 2016 Activities

• Author of SMT-Based Checking of Predicate-Qualified Types for Scala within the Scala-track in Scala 2016
• Show activities from other conferences