000 00793nam a2200265Ia 4500
005 20260121173417.0
008 008 260114s9999 xx 000 0 eng d
020 _a9783031124297
037 _aEBOOK
040 _aCRL
040 _beng
040 _cCRL
041 _2eng
041 _aeng
084 _qCRL
100 _aAntonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
_91100523
245 0 _aSoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops
260 _bSpringer
260 _bSpringer
260 _c2022
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-031-12429-7
942 _cEBOOK
999 _c1666268
_d1666268