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]