Margaria-Steffen, Tiziana, (1964-)

Fundamental approaches to software engineering = 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: Margaria-Steffen, Tiziana, (1964-); Wermelinger, Michel, (1966-); SpringerLink (Online service); FASE 2004 ((2004 :); ETAPS 2004 ((2004 :) (Language materials, printed)

Fundamental approaches to software engineering = 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: FASE 2004 ((2004 :); Margaria-Steffen, Tiziana, (1964-); Wermelinger, Michel, (1966-); NetLibrary, Inc.; ETAPS 2004 ((2004 :) (Electronic resources)

The combined power of research, education, and dissemination = essays dedicated to Tiziana Margaria on the occasion of her 60th birthday / by: SpringerLink (Online service); Margaria-Steffen, Tiziana, (1964-); Hinchey, Mike.; Steffen, Bernhard. (Electronic resources)

Formal methods for industrial critical systems = a survey of applications / by: Gnesi, Stefania, (1954-); Margaria-Steffen, Tiziana, (1964-) (Electronic resources)