Cascade

swMATH34344MaRDI QIDQ46053FDOQ46053

Author name not available (Why is that?)

Cited In (2)

• Model checking boot code from AWS data centers
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: Cascade