Search Results - Wasserrab, Daniel

  • Showing 1 - 1 results of 1
Refine Results
  1. Cover Image

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security by Wasserrab, Daniel

    Published 2021
    Get full text
    Online
    Save to List
    Saved in:

Search Tools: