swMATH46472MaRDI QIDQ5975040
No author found.
Source code repository: https://github.com/h2r/Lang2LTL