Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings

by Ahmed Bouajjani, Lukás Holík, Zhilin Wu Paperback 2022

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Ahmed Bouajjani, Lukás Holík, Zhilin Wu
  • ISBN 13: 9783031199912
  • ISBN 10: 303119991X
  • Publication Year: 2022
  • Language: English

Specifications

Index-10303119991X
LanguageEnglish
Index-139783031199912
Period-
Class Track-
Publisher- (2022)
Pages-

✨ Readers also enjoyed...

View All →
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Automated Technology for Verificat…

Ahmed Bouajjani, Wei-Ngan Chin

Inquire
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification : 21st…

Ahmed Bouajjani, Oded Maler

Inquire
Formal Techniques for Disributed Objects, Components, and Systems : 37th Ifip Wg 6. 1 International Conference, Forte 2017, Held As Part of the 12th I

Formal Techniques for Disributed O…

Ahmed Bouajjani, Alexandra Silva

Inquire
Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

Networked Systems : Third Internat…

Ahmed Bouajjani, Hugues Fauconnier

Inquire
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and …

Ahmed Bouajjani, David Monniaux

Inquire