ZaligVinder

swMATH44208MaRDI QIDQ1349736FDOQ1349736

Author name not available (Why is that?)

Official website: https://zaligvinder.github.io/

Source code repository: https://github.com/zaligvinder/zaligvinder

Cited In (6)

• StringFuzz
• Towards more efficient methods for solving regular-expression heavy string constraints
• Word equations in the context of string solving
• dk.brics.automaton
• StrSolve
• CertiStr

This page was built for software: ZaligVinder