Code2Inv

swMATH41066MaRDI QIDQ5974751FDOQ5974751

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-53291-8_9

Described by source

• Code2Inv: a deep learning framework for program verification

Cited In (1)

• CLN2INV

This page was built for software: Code2Inv