GraVy

swMATH34340MaRDI QIDQ46049FDOQ46049

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-06200-6_27

Cited In (2)

• Cascade
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: GraVy