Report on the Workshop on Theorem Proving in Certification

Authors
  1. Painchaud, F.
Corporate Authors
Defence R&D Canada - Valcartier, Valcartier QUE (CAN)
Abstract
Report Number
DRDC-VALCARTIER-SL-2011-057 — Scientific Literature
Date of publication
05 Jan 2011
Number of Pages
2
DSTKIM No
CA035559
CANDIS No
535230
Format(s):
Electronic Document(PDF)

Permanent link

Document 1 of 1

Date modified: