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