Il nostro impegno nel Software
Engineering
Gian Luca Cattani di MAPS è stato invitato a tenere un seminario dal titolo “Formal Verification of Enterprise Class Applications: Challenges and Hints” all’Action Meeting della European COST Action IC0701 che si è tenuto a Lisbona dal 11 al 13 Giugno 2009.
per maggiori dettagli visita il sito Action IC0701