AutoMathA

AcronymDefinition
AutoMathAAutomata: from Mathematics to Applications