Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
Conferences
- Overview
- Identity
- Additional Document Info
- View All