3 ms·
Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0] [0] https://en.wikipedia.org/wiki/Hoare_lo
by joel_ms 7y ago
Given the speaker, I'm guessing the suggestion is that the incident sowed the seed for him to develop Hoare Logic[0]
[0] https://en.wikipedia.org/wiki/Hoare_logic https://en.wikipedia.org/wiki/Hoare_logic