SPLASH 2020 (series) / 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
View general profile