RiTHM
From MaRDI portal
Software:28309
No author found.
Related Items (4)
A compiler for MSVL and its applications ⋮ Formal analysis and offline monitoring of electronic exams ⋮ Runtime verification with minimal intrusion through parallelism ⋮ Translating Xd-C programs to MSVL programs
This page was built for software: RiTHM
