TrABin

swMATH40809MaRDI QIDQ5974950FDOQ5974950

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: TrABin