swMATH8323MaRDI QIDQ20332FDOQ20332
Author name not available (Why is that?)
Official website: http://www.mi.fu-berlin.de/w/LiSA/Natalie
Source code repository: https://github.com/ls-cwi/natalie
Cited In (15)
This page was built for software: Natalie