ru.ispras.microtesk.model

Interface ModelStateManager