A framework for developing stand-alone certifiers (Q530847)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A framework for developing stand-alone certifiers |
scientific article; zbMATH DE number 6608303
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A framework for developing stand-alone certifiers |
scientific article; zbMATH DE number 6608303 |
Statements
A framework for developing stand-alone certifiers (English)
0 references
1 August 2016
0 references
certification
0 references
Isabelle/HOL
0 references
proof assistants
0 references
0.84520334
0 references
0.82737964
0 references
