TrABin

MaRDI QIDQ5974950swMATHFDO

Official website https://www.sciencedirect.com/science/article/abs/pii/S0167642318301667

Cited in

(4)

• Hoare-style logic for unstructured programs
• ARMor
• Cloc
• HolBA

This page was built for software: TrABin