TY - CHAP SN - 3-540-20083-5 SP - 63 Y1 - 2003/01/01/ T3 - Lecture Notes in Computer Science UR - https://discovery.ucl.ac.uk/id/eprint/872/ M1 - 2804 AV - public PB - SPRINGER-VERLAG BERLIN KW - Science & Technology KW - Technology KW - Computer Science KW - Software Engineering KW - Computer Science KW - Theory & Methods KW - Computer Science ED - Bernardo, M ED - Inverardi, P A1 - Kaveh, N A1 - Emmerich, W EP - 91 TI - Validating distributed object and component designs ID - discovery872 ER -