swMATH44841MaRDI QIDQ1334171FDOQ1334171
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-030-81685-8_40
Source code repository: https://github.com/randriu/synthesis
Cited In (5)
This page was built for software: PAYNT
