Showing 1 - 3 results of 3 for search 'Lugton, J', query time: 0.02s Refine Results
  1. 1
    Soundness of Data Flow Analyses for Weak Memory Models

    Soundness of Data Flow Analyses for Weak Memory Models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

    Published 2011
    Conference item
  2. 2
    Soundness of data flow analyses for weak memory models

    Soundness of data flow analyses for weak memory models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

    Published 2011
    Conference item
  3. 3
    Soundness of Data Flow Analyses for Weak Memory Models

    Soundness of Data Flow Analyses for Weak Memory Models by Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M

    Published 2011
    Conference item

Search Tools: