LETHAL

swMATH9918MaRDI QIDQ21897FDOQ21897

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

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

Cited in

(3)

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

This page was built for software: LETHAL