Showing 1 - 3 results of 3 for search 'Konstantinos Sagonas', query time: 3.69s Refine Results
  1. 1
    Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
    by Konstantinos Sagonas, Leonidas Lampropoulos
    Published 2012-10-01
    Get full text
    Article
  2. 2
    A Concurrent Language with a Uniform Treatment of Regions and Locks
    Get full text
    Article
  3. 3
    A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search