Exzellenzportal der Leibnizpreisträger der Deutschen Forschungsgemeinschaft
Homepage
Search
Project
Participating prize winners
Partners
Subject Areas
Contact
Help
Imprint
Privacy Policy
Accessibility
A
A
A
Back to result list
Search within document
Compositional refinement of interactive systems
Author / Editor
: Broy, Manfred
Place of publication
: New York, NY |
Publisher
: Assoc. for Computing Machinery (ACM)
[Search within document]
[PDF-Download]
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10