Flow logic for language-based safety and security

René Rydhof Hansen

    Research output: Book/ReportPh.D. thesisResearch

    349 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Flow logic for language-based safety and security'. Together they form a unique fingerprint.

    Social Sciences