Ignacio Fábregas

Uma visão geral dos cálculos de processos nominais e sua importância na ciência da computação.

Um olhar sobre métodos de teste baseado em modelo para verificação de sistema.

Este artigo fala sobre o papel do não-determinismo limitado na gestão do comportamento de programas.