Skip to content
B

broom

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning