Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert.

Jabier Martinez, ngel Jess Varela-Vaca

Browse the full SAFECOMP paper archive.