×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 13, 15 p. (2018).
MSC:  68U05 55N31 68Q25
PDF BibTeX XML Cite
Full Text: DOI