Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Broy, Manfred', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Compositional refinement of interactive systems. Tekijä Broy, Manfred

    Julkaisussa Journal of the ACM
    Artikkeli

    Compositional refinement of interactive systems.

Työkalut: