Self-Checking against Formal Specifications.

Sergio Antoy, Richard G. Hamlet

Browse the full ICCI paper archive.