Tiziana Margaria-Steffen's Documents

Tiziana Margaria-Steffen's Documents

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Read more
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001

Tools and Algorithms for the Construction and Analysis of Systems, 7 conf., TACAS 2001
Read more
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Read more
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Read more
Neuroprotection Methods and Protocols

Neuroprotection Methods and Protocols
Read more
Cohabitation, Family & Society: European Experiences (Routledge Advances in Sociology)

Cohabitation, Family & Society: European Experiences (Routledge Advances in Sociology)
Read more
La soffitta

La soffitta
Read more
Das Elfen Orakel

Das Elfen Orakel
Read more
Das Elfen Orakel

Das Elfen Orakel
Read more
Software Process Improvement, 14 conf., EuroSPI 2007

Software Process Improvement, 14 conf., EuroSPI 2007
Read more
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)

Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Read more
Programming and Software Engineering)

Programming and Software Engineering)
Read more
The Local Dimension of Migration Policymaking (Amsterdam University Press - IMISCOE Reports)

The Local Dimension of Migration Policymaking (Amsterdam University Press - IMISCOE Reports)
Read more
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science)

Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings (Lecture Notes in Computer Science)
Read more
Ritters 10x10 fur Finanzdienstleister und Versicherungsvermittler: 100 Fragen, 100 Antworten, 100 Bilder fur Ihren unternehmerischen Erfolg

Ritters 10x10 fur Finanzdienstleister und Versicherungsvermittler: 100 Fragen, 100 Antworten, 100 Bilder fur Ihren unternehmerischen Erfolg
Read more
Jugend und Kriegsgefahr

Jugend und Kriegsgefahr
Read more
The Wedding Gift

The Wedding Gift
Read more
The Wedding Gift

The Wedding Gift
Read more
Gambit Guide to the Bogo-Indian

Gambit Guide to the Bogo-Indian
Read more
First, There Is a River

First, There Is a River
Read more
Peak Performance Poker: Revolutionizing the Way You View the Game

Peak Performance Poker: Revolutionizing the Way You View the Game
Read more