swMATH41665MaRDI QIDQ1353438FDOQ1353438
Author name not available (Why is that?)
Official website: http://sri-csl.github.io/sally/
Source code repository: https://github.com/SRI-CSL/sally
Cited In (1)
This page was built for software: Sally
