Re: [cbc] MFII - Correctness by Construction: intro y primeros pasos