Verification, model checking, and abstract interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings
Saved in:
Bibliographic Details
Corporate Author: VMCAI Online (Author)
Other Authors: Henglein, Fritz (Editor), Shoham, Sharon (Editor), Vizel, Yakir (Editor)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Cham, Switzerland Springer [2021]
Series:Theoretical computer science and general issues 12597
Subjects:
Online Access:DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Physical Description:1 Online-Ressource Illustrationen, Diagramme
ISBN:9783030670672
DOI:10.1007/978-3-030-67067-2