479 followers
Avoid model checking tool jungle; make tools talk to each other! Easy; JANI. Convincing talk Arnd Hartmanns #etaps https://t.co/SbIqLvNome
Avoid model checking tool jungle; make tools talk to each other! Easy; JANI. Convincing talk Arnd Hartmanns #etaps https://t.co/SbIqLvNome