Libraries > FCSL-PCM

Formalization of partial commutative monoids as used in verification of pointer-manipulating programs.