C2M

MaRDI QIDQ43422swMATHFDO

Official website https://arxiv.org/abs/1809.00959

Described by source

• Translating Xd-C programs to MSVL programs

Cited in

(5)

• RiTHM
• LTLAutomizer
• MinGW
• MSVL
• UMC4M

This page was built for software: C2M