Laguna University Digital Library
Discover books, e-journals, theses, and special collections — all in one place.
Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part I
by Lahiri, Shuvendu K. and Wang, Chao, ed.byPublished by: Switzerland : Springer , 2020
- Sublocation
- EGC
- Call Number
- 004.24 C739 2020
- Physical Desc.
- xvii, 666 p.
- ISBN
- 978-3-030-53288-8
- Copies
- —