The Road from Software Testing to Theorem Proving – A Short Compendium of my Favourite Software Verification Techniques

PDF

Authors
  1. Painchaud, F.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
Report Number
DRDC-VALCARTIER-SL-2010-521 — Scientific Literature
Date of publication
07 Dec 2010
Number of Pages
26
DSTKIM No
CA035198
CANDIS No
534740
Format(s):
Electronic Document(PDF)

Permanent link

Document 1 of 1

Date modified: