The role of formalism in system requirements
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer[doi] [Google Scholar] [DBLP] [Citeseer] [url]
ACM Comput. Surv.
54(5)
Association for Computing Machinery
New York, NY, USA
May 2021
Association for Computing Machinery
New York, NY, USA
May 2021