Constrained Horn Clauses for Program Verification Heurística, Palestra, Teoria dos Grafos, TREX, Verificação Formal / Por Luciana 05 de setembro às 16h na sala 6321 (DCC)