Whiley

swMATH43073MaRDI QIDQ1351431FDOQ1351431

Author name not available (Why is that?)

Source code repository: https://github.com/Whiley

Cited In (2)

• Verifying Whiley programs with Boogie
• Automatic proofs of memory deallocation for a Whiley-to-C compiler

This page was built for software: Whiley