Синонимы к словосочетанию "формальная семантика"

Слова и выражения связанные по смыслу со словосочетанием "формальная семантика"

• формальная семантика
• формальная спецификация
• формальная верификация
• формальный язык
• формальная теория
• порождающая семантика
• контрактное программирование
• исчисление процессов
• инвариант класса