Showing 1 - 1 results of 1 for search 'Boer, Frank Sipke de, 1956-', query time: 0.02s Refine Results
  1. 1

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 2009
    Other Authors: “…Boer, Frank Sipke de, 1956-…”
    Book