Últimos artículos para Specification Refinement

Un nuevo método para encontrar núcleos insatisfacibles mínimos en lógica temporal lineal.