1
Engineering of Computer-Based Systems [E-Book] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
3
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
4
Leveraging Applications of Formal Methods, Verification and Validation. Practice [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
5
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [E-Book] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
6
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
7
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
8
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
9
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
10
SOFSEM 2015: Theory and Practice of Computer Science [E-Book] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /
Other Personal Name(s): “...Margaria-Steffen, Tiziana....”

Full text 
Favorites
Saved in:
11
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
12
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
13
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
14
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
15
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
16
Leveraging Applications of Formal Methods, Verification, and Validation [E-Book] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
17
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
18
Semantic Web Services Challenge [E-Book] : Results from the First Year /
Other Personal Name(s): “...Margaria, Tiziana....”

Full text 
Favorites
Saved in:
19
Software Process Improvement : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings [E-Book] /
Other Personal Name(s): “...Margaria, Tiziana...”

Full text 
Favorites
Saved in:
20
Fundamental Approaches to Software Engineering [E-Book] : 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, Pr /
Other Personal Name(s): “...Margaria-Steffen, Tiziana....”

Full text 
Favorites
Saved in:

Narrow Search Results