Title Statements
- Full title :Automated Technology for Verification and Analysis / Hou.
Edition Statements
- Publication Date:2021.
- Edition:1st ed
Publication Statements
- Publisher(s):Springer International Publishing
- Place of Publication:S.l
- Language:und
- Publication Date:2021.
Notes
Title from content provider.
The Physical Object
- Description:1 online resource
Edition Identifiers
- ISBN:9783030888848, 3030888843, 3030888851, 9783030888855
- oclc:on1289320615
Writers
No reviews yet. Be the first to rate this work.
Rate & Review