Broy, Manfred
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - New York Springer-Verlag 2001 - 348p.
9780387950730
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - New York Springer-Verlag 2001 - 348p.
9780387950730