Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2018, May 30
Author: Grimm, Claudius
Title: A New GUI for Hets

Abstract:

In this talk I will present my progress towards a new GUI for hets. The new interface is more modern and intuitive than the old one and explores new ways of displaying development graphs.


Back to the Oberseminar web page
Webmaster