Cloc

MaRDI QIDQ43020swMATHFDO

Official website https://github.com/AlDanial/cloc

Source code repository https://github.com/AlDanial/cloc

Cited in

(5)

• Hoare-style logic for unstructured programs
• ARMor
• Pint
• TrABin
• HolBA

This page was built for software: Cloc