Artigos mais recentes para Specification Refinement

Um novo método para encontrar núcleos mínimamente insatisfatíveis na lógica temporal linear.