JML-Java Parser

Typ: BA
Datum: 2017-07-14
Betreuer: Alexander Weigl
Bearbeiter:
Aushang:

Ziel

Design and Implementation of a novel and extensible JML-Java-Parser which can also be used independent of KeY as community service.

Kontakt: