Seminário: Gramática de Grafos: Especificação e Verificação Formal
Palestrante: Luciana Foss (Computação – UFPel) Data: 16/04/2018 Local: sala 434, Campus Porto Horário: 17h10 Título: Gramática de Grafos: Especificação e Verificação Formal Resumo: A complexidade dos sistemas atuais requer o uso de métodos de...