Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings /
Saved in:
Meeting name: | VMCAI (Conference) (22nd : 2021 : Online) |
---|---|
Imprint: | Cham, Switzerland : Springer International Publishing : Imprint: Springer, 2021. |
Description: | 1 online resource (xv, 604 pages) : illustrations (some color). |
Language: | English |
Series: | Lecture notes in computer science ; 12597 Advanced research in computing and software science LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 12597. Lecture notes in computer science. Advanced research in computing and software science. 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/12610992 |