Proceedings of the 13th National Computer Security Conference ...

266 An Assertion-Mapping Approach to Software Test Design ... SDVS is a system for checking proofs about the course of a computation.

Exercices