Paola Inverardi

2 published titles

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro,

(Contributor)

1 edition

Software engineering education in the Modern Age : software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 ; re

(Contributor)

1 edition