3 ms·Manual derivation of Hoare-triples for the long division algorithm verification.by oecumena 2y agoManual derivation of Hoare-triples for the long division algorithm verification.