Teórica #22

15 dezembro 2016, 10:00 • João Rasga

Cálculo de Hoare: introdução.