Invariante de Laço - Loop invariants

Como provar corretude de algoritmos através de invariantes de loop

Posts em português para fortalecer a comunidade brasileira de Ciência da computação. Caso tenha dúvidas, críticas ou sugestões de temas ou para o blog deixe nos comentários :)