Showing 1 - 2 results of 2 for search 'Taghdiri, Mana, 1979-', query time: 0.02s Refine Results
  1. 1
    Automating modular program verification by refining specifications

    Automating modular program verification by refining specifications by Taghdiri, Mana, 1979-

    Published 2008
    Get full text
    Thesis
  2. 2
    Lightweight modelling and automatic analysis of multicast key management schemes

    Lightweight modelling and automatic analysis of multicast key management schemes by Taghdiri, Mana, 1979-

    Published 2014
    Get full text
    Thesis

Search Tools: