CoSA
From MaRDI portal
Software:1353436
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 (3)
This page was built for software: CoSA
