Teórica #25

14 dezembro 2017, 10:00 • João Rasga

Verificação da correção parcial de pequenos programas imperativos usando o cálculo de Hoare.