Software Safety Verification

Ken Wong

Department of Computer Science

University of British Columbia

Next slide

Back to first slide

View graphic version