Formale Methoden und kleine Systeme | lit.salon