Djurre van der Wal - Improving Symbolic Confluence Detection

author:Djurre van der Wal
title:Improving Symbolic Confluence Detection
keywords:
topics:Case studies and Applications
committee:prof.dr. J.C. van de Pol
graduation date:January 2015 (mark: 8)


Abstract