1 paper
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp +4
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new e…