Sun 15 - Sat 21 November 2020 Online Conference
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


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

Using general profile