Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni. Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. In Antonello Calabrò, Francesca Lonetti, Eda Marchetti, editors, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. pages 54-61, SciTePress, 2016. [doi]
Abstract is missing.