A 2003 computer science thesis done at the University of York entitled “The Safety of Software — Constructing and Assuring Arguments” is at the link provided.
QSS Software Validation
Planned Instructors: Brian Pate, John Murray
Location: Boston, MA, USA
Dates: June 2-4, 2020
Receive $300 discount with Premium-Individual subscription purchase (or $333 per person for Premium-Company subscription)!
Multi-Student Discounts as well!
to receive discount