Formal Verification of a Certified Policy Language

von Eaman, Amir
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)