Abstract :
[en] This short note reflects on what makes formal methods "formal". It concludes that there are weak and
strong ways of being formal, the latter being linked to the formality of the method being exploitable, and exploited, in software tools.
Scopus citations®
without self-citations
13