de.learnlib.acex

Interfaces