Search Results - Olderog, Ernst-Rudiger

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Verification of sequential and concurrent programs

    Verification of sequential and concurrent programs by Apt, Krzysztof R. , 1949-, Boer, Frank S. de, Olderog, Ernst-Rudiger

    Published 2009

Search Tools: