Opening book details…
Can I read Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers on EtoBox?
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers by Andrew Reynolds, Serdar Tasiran is a nonfiction available to read on EtoBox.
What is Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers about?
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
Who reads Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Andrew Reynolds, Serdar Tasiran
- Publisher
- Springer International Publishing
- Published
- 2024
- Language
- EN
- ISBN
- 9783031660641
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Andrew Reynolds, Serdar Tasiran
Browse all works by Andrew Reynolds, Serdar Tasiran
Similar books
- Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers — Philipp Rümmer, Hossein Hojjat (auth.), Ernie Cohen, Andrey Rybalchenko (2014)
- Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers — Sanjit A. Seshia Arie Gurfinkel (2016)
- Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers — Thomas Wies Andrei Paskevich (2017)
- Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Programming and Software Engineering) — Jorge A. Navas Supratik Chakraborty (2020)
- Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers — Marsha Chechik Sandrine Blazy (2016)
- Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science, 7152) — Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (2012)