Front cover image for Interactive systems : design, specification, and verification

Interactive systems : design, specification, and verification

Journal, Magazine, English, ©1995-
Springer, Berlin, ©1995-
Conference papers and proceedings
volumes : illustrations ; 24 cm.
244059361