C2M

swMATH31711MaRDI QIDQ43422FDOQ43422

Author name not available (Why is that?)

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