On the Notion of Naturalness in Formal Modeling

Published in Festschrift Reiner Hähnle, 2022

Recommended citation: Eduard Kamburjan, Sandro Rama Fiorini. (2022). Festschrift Reiner Hähnle. Springer