×

zbMATH — the first resource for mathematics

Found 3,276 Documents (Results 1–100)

100
MathJax
Prof. Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 219-239 (2021).
MSC:  68Q60
PDF BibTeX XML Cite
Studies in Systems, Decision and Control 303. Singapore: Springer (ISBN 978-981-15-6310-2/hbk; 978-981-15-6313-3/pbk; 978-981-15-6311-9/ebook). xxv, 121 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 45, No. 1, 21-33 (2021); translation from Vestn. Mosk. Univ., Ser. XV 2021, No. 1, 25-37 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software