Showing 1 - 6 results of 6 for search 'D'souza, Deepak', query time: 0.05s Refine Results
  1. 1
    Conflict-Tolerant Features
    by Gopinathan, Madhu
    Published 2010
    Other Authors: “...D'Souza, Deepak...”
    Get full text
  2. 2
    Analysing Message Sequence Graph Specifications
    by Chakraborty, Joy
    Published 2011
    Other Authors: “...D'Souza, Deepak...”
    Get full text
  3. 3
    A Refinement-Based Methodology for Verifying Abstract Data Type Implementations
    by Divakaran, Sumesh
    Published 2018
    Other Authors: “...D'Souza, Deepak...”
    Get full text
    Get full text
  4. 4
    Efficient Static Analyses for Concurrent Programs
    by Mukherjee, Suvam
    Published 2018
    Other Authors: “...D'Souza, Deepak...”
    Get full text
    Get full text
  5. 5
    Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
    by Arnab De, *
    Published 2016
    Other Authors: “...D'souza, Deepak...”
    Get full text
    Get full text
  6. 6
    A Theoretical Study of the Synergy and Lazy Annotation Algorithms
    by Jayaram, Sampath
    Published 2018
    Other Authors: “...D'Souza, Deepak...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search