ADABU

swMATH15736MaRDI QIDQ27614FDOQ27614

Author name not available (Why is that?)

Cited In (2)

• Symbolic automata for representing big code
• Improving active Mealy machine learning for protocol conformance testing

This page was built for software: ADABU