Showing 1 - 1 results of 1 for search 'Broy, Manfred', 查询时间: 0.01s Refine Results
  1. 1

    Compositional refinement of interactive systems. 由 Broy, Manfred

    发表在 Journal of the ACM
    文件

    Compositional refinement of interactive systems.

检索工具: