Verification, Model Checking, And Abstract Interpretation : 23Rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 1618, 2022, Proceedings
Springer
ISBN13:
9783030945824
$108.02
- | Author: Bernd Finkbeiner, Thomas Wies
- | Publisher: Springer
- | Publication Date: Feb 14, 2022
- | Number of Pages: 532 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030945820
- | ISBN-13: 9783030945824
- Author:
- Bernd Finkbeiner, Thomas Wies
- Publisher:
- Springer
- Publication Date:
- Feb 14, 2022
- Number of pages:
- 532 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030945820
- ISBN-13:
- 9783030945824