CIVL

swMATH34345MaRDI QIDQ46054FDOQ46054

Author name not available (Why is that?)

Cited In (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