Anh
formal specification
Đức
formale Spezifikation
Pháp
spécification formelle
formale Spezifikation /IT-TECH/
[DE] formale Spezifikation
[EN] formal specification
[FR] spécification formelle