*Result*: Computer Aided Verification
*Title*:
*Author/editor-in-chief*:
*Publication*:
[Erscheinungsort nicht ermittelbar] : Springer Nature, 2020
*Distribution*:
The Hague : OAPEN Foundation
*Physical description scale*:
1 Online-Ressource (669 pages)
*Format*:
*Language*:
*eng*
*ISBN*:
9783030532888 (Sekundärausgabe)