]> git.unchartedbackwaters.co.uk Git - francis/psl_presentation_20130225.git/commit
Add slides on reasoning about correctness.
authorFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Feb 2013 19:36:25 +0000 (19:36 +0000)
committerFrancis Russell <francis@unchartedbackwaters.co.uk>
Tue, 19 Feb 2013 19:36:25 +0000 (19:36 +0000)
commitfd6b43994e616d97e74b716dee2be56af86de2c8
tree2a061ddcb91a78f5e84f80a1f222561065c2d86e
parentdd66303c1c20fa616b7095102f5c7cad7785a1f5
Add slides on reasoning about correctness.
images-svg/simulation_cell.svg
presentation.tex