Anonymised during the research-fish submission (2023)
Attributed to:
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://bit.ly/37nxlBs
Type: Working Paper
Volume: -
Issue: -
ISBN: -