RelMiCS/AKA

AcronymDefinition
RelMiCS/AKA➣Relational Methods in Computer Science and the Applications of Kleene Algebra