Showing 1 - 2 results of 2 for search 'PATTERN CONSTRUCTION AND MANIPULATION', query time: 0.83s Refine Results
  1. 1
    Foundations for analyzing security APIs in the symbolic and computational model
    by Künnemann, Robert
    Published 2014
    “..., which is a variant of the applied pi calculus with constructs for manipulation of a global state. We...”
    Get full text
    Get full text
  2. 2
    Foundations for analyzing security APIs in the symbolic and computational model
    by Künnemann, Robert
    Published 2014
    “... variant of the applied pi calculus with constructs for manipulation of a global state. We show...”
    Get full text
Search Tools: Get RSS Feed — Email this Search