dk.brics.automaton
From MaRDI portal
Software:23974
swMATH12040MaRDI QIDQ23974FDOQ23974
Author name not available (Why is that?)
Cited In (7)
- Preventing injection attacks with syntax embeddings
- Analyzing ambiguity of context-free grammars
- Simple linear string constraints
- Optimizing data structures in high-level programs
- k-Abelian Equivalence and Rationality
- Negation-closure for JSON schema
- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
This page was built for software: dk.brics.automaton
