All pages tagged with formal tools for software engineering

• Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools