C-to-Isabelle

swMATH32374MaRDI QIDQ44085FDOQ44085

Author name not available (Why is that?)

Official website: http://ts.data61.csiro.au/software/TS/c-parser/

Cited In (2)

• Mostly sound type system improves a foundational program verifier
• VeriSmall

This page was built for software: C-to-Isabelle