A framework for developing stand-alone certifiers
scientific article; zbMATH DE number 6608303
scientific article