SALT
Smart Assertion Language for Temporal
กาลเชิงภาษายืนยันอัจฉริยะ
ภาษาอื่น ๆ
面向时态的智能断言语言
面向時態的智慧斷言語言
Smart Assertion Language for Temporal
Langage d'assertion intelligent orienté vers le temps
Lenguaje de afirmación inteligente orientado al tiempo
Língua de Activo Inteligente para Temporário
язык интеллектуального утверждения
الزمنية المنحى لغة ذكية التأكيدات
Smart Assertion Language for Temporal
時間のためのスマートアサーション言語
시제 지향 지능 단언 언어
กาลเชิงภาษายืนยันอัจฉริยะ