13 citations · 70 across the 51 of their papers we have counts for
1 paper · 1 filter
Joost J. Joosten, Marina López Chamosa, Sofía Santiago Fernández
Formalisation is the process of writing system requirements in a formal language. These requirements mostly originate in Natural Language. In the field of Formal Methods, formalisa…