Springer Scientific
Conference Proceedings
Markopoulos, P., Johnson, P. (eds.) Design, Specification and Verification of Interactive Systems , 1998, Abingdon, U.K.
Markopoulos, P., Johnson, P. (eds.) Design, Specification and Verification of Interactive Systems , 1998, Abingdon, U.K.