Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... I (Lecture Notes in Computer Science, 6415)
Book information
Description
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
Similar books
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV (Lecture Notes in Computer Science)
2022 · PDF
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)
2021 · PDF
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Part II (Lecture Notes in Computer Science)
2022 · PDF
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)
2022 · PDF
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Lecture Notes in Computer Science, 12479)
2021 · PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II (Lecture Notes in Computer Science, 6416)
2010 · PDF
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
2021 · PDF
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4764)
2007 · PDF