Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

الوصف

Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997