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

Contributions

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

SPLASH 2016-profile
View general profile