"A Method for Certifying Code in Trust-By-Policy-Adherence."

Zeng Guo-Sun, Li Li (2011)

Details and statistics

DOI: 10.4304/JCP.6.8.1691-1698

access: closed

type: Journal Article

metadata version: 2020-09-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics