LETHAL

swMATH9918MaRDI QIDQ21897FDOQ21897

Author name not available (Why is that?)

Official website: http://lethal.sourceforge.net/

Cited In (3)

• The Isabelle collections framework
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
• Timbuk

This page was built for software: LETHAL