Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, revised selected papers /
Saved in:
Meeting name: | International Conference on Software Engineering and Formal Methods (18th : 2020 : Online) |
---|---|
Imprint: | Cham, Switzerland : Springer, [2021] |
Description: | 1 online resource (ix, 335 pages) : illustrations (some color). |
Language: | English |
Series: | Lecture Notes in Computer Science ; 12524 LNCS sublibrary: SL 2 Programming and software engineering Lecture notes in computer science ; 12524. LNCS sublibrary. SL 2, Programming and software engineering. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12611019 |