Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement

Manfred Broy Ketil Stølen Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement 2001 1-348 Springer Monographs in Computer Science 978-1-4612-6518-4 978-1-4613-0091-5 https://doi.org/10.1007/978-1-4613-0091-5