| 221 |
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
|
|
2012 |
Okänt |
| 222 |
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
|
|
2022 |
Okänt |
| 223 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
|
|
2022 |
Okänt |
| 224 |
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
|
|
2014 |
Okänt |
| 225 |
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings (Communications in computer and information science, no. 17)
|
|
2008 |
Okänt |
| 226 |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
|
|
2022 |
Okänt |
| 227 |
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
|
|
2020 |
Okänt |
| 228 |
Leveraging Applications of Formal Methods electronic resource - First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
|
Tiziana. Maragria
|
2006 |
Engelska |
| 229-231 |
Leveraging Applications of Formal Methods, Verification, and Validation - Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
(flera utgåvor)
|
Tiziana. Margaria
|
2010 |
Engelska |
| 232 |
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
|
Tiziana. Margaria
|
2024 |
Engelska |
| 233 |
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
|
Tiziana. Margaria
|
2012 |
Engelska |
| 234 |
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
|
Tiziana. Margaria
|
2024 |
Engelska |
| 235 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
|
Tiziana. Margaria
|
2024 |
Engelska |
| 236 |
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
|
Tiziana. Margaria
|
2014 |
Engelska |
| 237 |
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
|
Tiziana. Margaria
|
2024 |
Engelska |
| 238-239 |
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
(flera utgåvor)
|
Tiziana. Margaria
|
2014 |
Engelska |
| 240 |
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
|
|
2017 |
Engelska |