Skip to content
@se-tud

se-tud

Popular repositories Loading

  1. abs-eclipse-xtext abs-eclipse-xtext Public

    Forked from abstools/abstools

    The ABS modeling language and surrounding tools

    Java

  2. C2ABS-for-SCP-Journal-Paper C2ABS-for-SCP-Journal-Paper Public

    Java

  3. GPCE21-case-studies GPCE21-case-studies Public

    Forked from MarcoScaletta/ABS-case-studies

    Java

  4. smart-ml smart-ml Public

    Forked from KeYProject/key

    KeY Theorem Prover for Deductive Java Verification

    Java

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…