Casper Bach Poulsen - SLE 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

co-located with SPLASH 2019

Registered user since Wed 4 May 2016

Name:Casper Bach Poulsen

Affiliation:Delft University of Technology

Personal website: http://casperbp.net

Contributions

2019

SPLASH

Session Chair of Model Checking (part of OOPSLA)

META

From Definitional Interpreter To Symbolic Executor

SLE

Show activities from other conferences

SPLASH 2019-profile
View general profile