Showing 1 - 1 results of 1 for search 'Clément Hurlin', query time: 0.02s Refine Results
  1. 1
    Permission-Based Separation Logic for Multithreaded Java Programs

    Permission-Based Separation Logic for Multithreaded Java Programs by Christian Haack, Marieke Huisman, Clément Hurlin, Afshin Amighi

    Published 2015-02-01
    Get full text
    Article

Search Tools: