Formal Validation of System Specifications

Nancy A. Day

Slide 5 of 8