Frank S. de Boer - ETAPS 2019

Registered user since Tue 15 Mar 2016

Name:Frank S. de Boer

Affiliation:Centrum Wiskunde & Informatica, Leiden University

Research interests:Semantics and proof theory programming languages

Contributions

ETAPS 2019	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE 2019	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Show activities from other conferences