Richard Gankema - High-level definitions of control-flow semantics

author:Richard Gankema
title:High-level definitions of control-flow semantics
keywords:
topics:Logics and semantics
committee:prof.dr.ir. A. Rensink
graduation date:24 January 2016


Abstract