zbMATH — the first resource for mathematics

Found 3,264 Documents (Results 1–3)

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 582-601 (2020).
MSC:  03B40
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Biographic Reference