RiTHM

swMATH16439MaRDI QIDQ28309FDOQ28309

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2494596

Cited In (9)

• Translating Xd-C programs to MSVL programs
• Runtime verification with minimal intrusion through parallelism
• Akiss
• MinGW
• C2M
• MSVL
• UMC4M
• Formal analysis and offline monitoring of electronic exams
• A compiler for MSVL and its applications

This page was built for software: RiTHM