10TPEPSR An axiomatic basis for computer programming

The meeting

• https://github.com/papers-we-love/papers-we-love/blob/master/comp_sci_fundamentals_and_history/axiomatic-basis-computer-programming.pdf?raw=true
• http://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf

Thanks

Thanks to @tomstuart for shepherding and to @urbanautomaton for organising the meeting.