1079 | DSV-IS 2003 | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2003/06/04-06 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.math.uma.pt/dsvis2003/ | Àå ¼Ò | |
DSV-IS 2003 : 10th Workshop on the Design, Specifcation and Verification of Interactive Systems Workshop June 4-6, 2003 Funchal, Madeira Island, Portugal |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.