Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers
From MaRDI portal
Publication:2042575
DOI10.1007/978-3-030-67220-1zbMATH Open1471.68012OpenAlexW3174080901MaRDI QIDQ2042575
Author name not available (Why is that?)
Publication date: 21 July 2021
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-67220-1
No records found.
This page was built for publication: Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2042575)
