Next:
12.3 Static Analysis
Up:
12. Validation: Debugging and
Previous:
12.1 Tracing
Contents
12
.
2
Assertions
Paul E. McKenney 2011-12-16