Search
Home
/
Tags
/
#hoare logic
#hoare logic
Discover popular DJ mixes, podcasts, and radio shows tagged with #hoare logic
Jean Yang on An Axiomatic Basis for Computer Programming
paperswelove
12y ago
64:31
40
#paperswelove
#papers_we_love
#hoare logic
#correctness
