Software engineering and formal methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /
Saved in:
Meeting name: | International Conference on Software Engineering and Formal Methods (18th : 2020 : Online) |
---|---|
Imprint: | Cham : Springer, 2020 . |
Description: | 1 online resource (xiv, 325 p.) : ill. (some col.) |
Language: | English |
Series: | Lecture Notes in Computer Science ; 12310 LNCS sublibrary, SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 12310. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12607880 |