Interactive Systems - Design, Specification, and Verification: Proc./10th Intern. Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003

Б3.31, В2.46, Б3.5.

Interactive Systems - Design, Specification, and Verification: Proc./10th Intern. Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003Ed. by Jorge J. A., Nunes N. J., E Cunha J. F..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2844.-429 p.-(Lecture Notes in Computer Science).