Synonyms were used for:
formale Spezifikation
Search without synonyms:
keywords:(formale Spezifikation)
Experiences using lightweight formal methods for requirements modeling