• Italiano
  • English

menu

Spin-off

BUGSENG

Spin-off dell'Università di Parma, BUGSENG e il suo team hanno tradotto in impresa una ricerca più che quindicennale su tecniche di analisi del software basate su una teoria matematica dell'approssimazione che consente di progettare e dimostrare la correttezza di complessi verificatori automatici di programmi, altrimenti impensabili. -> vai al sito

Pubblicato Venerdì, 5 Aprile, 2013 - 12:58 | ultima modifica Lunedì, 30 Settembre, 2013 - 12:28