000 00564nam a2200169Ia 4500
008 220313s9999 xx 000 0 und d
022 _a9783030672201
100 _aLoek Cleophas
245 0 _aSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops
260 _bSpringer Nature
_c2021
440 _aLecture Notes in Computer Science
500 _aOne time purchase [Perpetual access]
650 _aComputer Science
700 _a Mieke Massink
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-67220-1
942 _cEB
999 _c49035
_d49035