zbMATH — the first resource for mathematics

Found 34 Documents (Results 1–3)

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 67-83 (2019).
MSC:  68Q05 68Q10 81P68
BibTeX Cite
Full Text: DOI
Piskac, Ruzica (ed.) et al., Verified software. Theories, tools, and experiments. 10th international conference, VSTTE 2018, Oxford, UK, July 18–19, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-03591-4/pbk; 978-3-030-03592-1/ebook). Lecture Notes in Computer Science 11294, 309-321 (2018).
MSC:  68Q42 68N30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication