Frank S. de Boer - ECOOP 2018

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Registered user since Tue 15 Mar 2016

Name:Frank S. de Boer

Affiliation:Centrum Wiskunde & Informatica, Leiden University

Research interests:Semantics and proof theory programming languages

Contributions

VORTEX 2018	Committee Member in Program Committee within the VORTEX-track Analysis of SLA Compliance in the Cloud Session Chair of Session 2 (part of VORTEX) Run-time checking of data- and protocol-oriented properties of Java programs
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile