---
kind: event
startdate: 2019-04-11T19:30:00Z
duration: 2h
title: "Sprachbau, DSLs und Verifikationstools"
speakers:
  -
    name: "Markus Völter"
location:
  location: bib
public: true
---
(Details folgen)