diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-27 17:46:59 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-27 17:46:59 +0100 |
| commit | 5cc8714e4af82bec2ad7ea2d2479016e5a74de9b (patch) | |
| tree | 82a80c7a3352f0cec5e53b35c931755fa3e15f54 /tcb.mdwn | |
| parent | 69f4f531625bb0fa3c5ab667279106dd77ae9732 (diff) | |
open_issues/code_analysis: Add some more references.
Engineering zero-defect software by Eric S. Raymond, CIL, Frama-C.
Diffstat (limited to 'tcb.mdwn')
0 files changed, 0 insertions, 0 deletions