CIVL
From MaRDI portal
Software:46054
No author found.
Related Items (2)
Leveraging compiler intermediate representation for multi- and cross-language verification ⋮ Practical abstractions for automated verification of shared-memory concurrency
This page was built for software: CIVL
