LCT

swMATH30240MaRDI QIDQ41954FDOQ41954

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: LCT