swMATH46099MaRDI QIDQ5972955
No author found.
Source code repository: https://github.com/star-finder/jpf-star
Described by source