ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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

FASE 2019Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track
ETAPS 2019Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track
Show activities from other conferences

ETAPS 2019-profile
View general profile