Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Briefing

Issues in Software Testing with Model Checkers

January 1, 2003

Presenters

Vadim Okun

Paul Black

Media Items
Issues in Software Testing with Model Checkers PDF
Created October 19, 2016, Updated December 07, 2016