Compositional refinement of interactive systems
Autor / Herausgeber: Broy, Manfred
Verlagsort: New York, NY | Verlag: Assoc. for Computing Machinery (ACM)

[Suche in der Publikation] [PDF-Download]
50% 100% 150%
  -10 -5 -1
Scan
+1 +5
+10  
50% 100% 150%
  -10 -5 -1
Scan
+1 +5
+10