*Result*: Computer Aided Verification
*Title*:
*Author/editor-in-chief*:
*Publication*:
Cham : Springer Nature, 2023
*Distribution*:
The Hague : OAPEN FOUNDATION
*Physical description scale*:
1 Online-Ressource (460 p.)
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science
*ISBN*:
9783031377037 ; 9783031377020
*oa_rights*:
Open Access