247 - Verification and validation methods for formal descriptions. Chair: K. Inan, Turkey

Main Contacts