Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proc

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 3030945820
• ISBN13: 9783030945824
• Release Date: January 2022
• Publisher: Springer
• Length: 520 Pages
• Weight: 1.62 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"