CoSA

swMATH41667MaRDI QIDQ1353436FDOQ1353436

Author name not available (Why is that?)

Official website: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/papers/paper10.pdf

Source code repository: https://github.com/cristian-mattarei/CoSA

Cited In (5)

• Sally
• JKind
• Kind 2
• Yosys
• Btor2Tools

This page was built for software: CoSA