Metamorphic Validation of the Move Toolchain

01.07.2026 - 28.02.2027
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • Sui Foundation

Forschungsschwerpunkte

  • Information Systems Engineering: 100%

Publikationen