ASSET
From MaRDI portal
Software:14660
No author found.
No records found.
Related Items (3)
The manipulability of matching rules via segmentation ⋮ Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types ⋮ Stability and efficiency of partitions in matching problems
This page was built for software: ASSET
