equal
deleted
inserted
replaced
5 \usepackage{../grammar} |
5 \usepackage{../grammar} |
6 \usepackage{multicol} |
6 \usepackage{multicol} |
7 |
7 |
8 \begin{document} |
8 \begin{document} |
9 \fnote{\copyright{} Christian Urban, 2014} |
9 \fnote{\copyright{} Christian Urban, 2014} |
|
10 |
|
11 %% why are shuttle flights so good with software |
|
12 %%http://www.fastcompany.com/28121/they-write-right-stuff |
10 |
13 |
11 \section*{Handout 9 (Static Analysis)} |
14 \section*{Handout 9 (Static Analysis)} |
12 |
15 |
13 If we want to improve the safety and security of our programs, |
16 If we want to improve the safety and security of our programs, |
14 we need a more principled approach to programming. Testing is |
17 we need a more principled approach to programming. Testing is |