Metamorphic Validation of the Move Toolchain

01.07.2026 - 28.02.2027
Research funding project

People

Project leader

Subproject managers

Institute

Grant funds

  • Sui Foundation

Research focus

  • Information Systems Engineering: 100%

Publications