Infer también tiene un lenguaje específico de dominio para la sintaxis abstracta del árbol, basado en ideas de Model Checking for Computation Tree Logic
Infer también tiene un dominio - lenguaje abstracto para la sintaxis específica del árbol, basado en ideas de Model Checking for Computation Tree Logic.