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
    Article

    Compositional refinement of interactive systems.

כלי חיפוש: