DOI10.1007/978-3-662-53413-7_13zbMath1425.68073OpenAlexW2516874317MaRDI QIDQ1664391
Matthieu Journault, Antoine Miné
Publication date: 27 August 2018
Full work available at URL: https://hal.sorbonne-universite.fr/hal-01360556/file/article-journault-al-sas16.pdf
Mathematics Subject Classification ID
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
