אנגלית ⇄ גרמנית צרפתית +

verification and validation methods for formal descriptions COST action 247
.מחקר	méthodes de vérification et de validation pour descriptions formelles action COST 247