summaryrefslogtreecommitdiff
path: root/tcb.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2012-11-27 17:46:59 +0100
committerThomas Schwinge <thomas@codesourcery.com>2012-11-27 17:46:59 +0100
commit5cc8714e4af82bec2ad7ea2d2479016e5a74de9b (patch)
tree82a80c7a3352f0cec5e53b35c931755fa3e15f54 /tcb.mdwn
parent69f4f531625bb0fa3c5ab667279106dd77ae9732 (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