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 independently of KeY as a community service.
Kontakt:
- Alexander Weigl (Raum 225, Geb. 50.34)
