検索結果 1 - 1 結果 / 1 検索語 'Broy, Manfred', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Compositional refinement of interactive systems. 著者: Broy, Manfred

    出版年 Journal of the ACM
    論文

    Compositional refinement of interactive systems.

検索ツール: