Kristin Rutenkolk
rutenkolk
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).
Jens Bendisposto
bendisposto
@jbendisposto@mastodontech.de
innoQ & Heinrich Heine Universität Düsseldorf