ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Frank S. de Boer

Registered user since Tue 15 Mar 2016

Name:Frank S. de Boer
Affiliation:Centrum Wiskunde & Informatica, Leiden University
Personal website:http://www.cwi.nl/~frb
Research interests:Semantics and proof theory programming languages

Contributions

FTfJP 2020 History-based Specification and Verification of Java Collections in KeY
VORTEX 2020 Committee Member in Organizing Committee within the VORTEX-track
Show activities from other conferences

SPLASH 2020-profile
View general profile