UID:
almahu_9949369319702882
Format:
1 online resource (563 pages)
ISBN:
9783031131851
Series Statement:
Lecture Notes in Computer Science Ser. ; v.13371
Additional Edition:
Print version: Shoham, Sharon Computer Aided Verification Cham : Springer International Publishing AG,c2022 ISBN 9783031131844
Language:
English
Keywords:
Electronic books.