LCTD

MaRDI QIDQ29581swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S2352220815001157

Cited in

(2)

• LCT
• LCTD: test-guided proofs for C programs on LLVM

This page was built for software: LCTD