1 hits in 0.006 sec.
Compositional refinement of interactive systems; 6
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik
Author / Editor: Broy, Manfred | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik