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