Frank S. de Boer - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

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

2020

FTfJP

History-based Specification and Verification of Java Collections in KeY

VORTEX

Committee Member in Organizing Committee within the VORTEX-track

Show activities from other conferences

SPLASH 2020-profile
View general profile