Showing 1 - 1 results of 1 for search 'Doug Goldson', query time: 0.02s Refine Results
  1. 1
    Extending the theory of Owicki and Gries with a logic of progress

    Extending the theory of Owicki and Gries with a logic of progress by Brijesh Dongol, Doug Goldson

    Published 2006-03-01
    Get full text
    Article

Search Tools: