Syrko, Ariel: Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico

Menü