ADABU

swMATH15736MaRDI QIDQ27614FDOQ27614

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1138918

Cited In (8)

• Symbolic automata for representing big code
• Rostra
• Perracotta
• SMArTIC
• JBoss
• Falcon
• Improving active Mealy machine learning for protocol conformance testing
• SOBER

This page was built for software: ADABU