DReX
From MaRDI portal
Software:28812
No author found.
Related Items (3)
Foundations of Boolean stream runtime verification ⋮ Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ⋮ Regular transducer expressions for regular transformations
This page was built for software: DReX