Not registered as user yet

Name: Franck Cassez

Affiliation: Macquarie University, Australia

SPLASH 2017 Activities

• Author of ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) within the Scala 2017-track in Scala 2017
• Show activities from other conferences