SMArTIC

MaRDI QIDQ27615swMATHFDO

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

Cited in

(3)

• Symbolic automata for representing big code
• Perracotta
• ADABU

This page was built for software: SMArTIC