zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 191-209 (2017).
MSC:  68N19 03B70 68Q85
Full Text:
MSC:  03B70 68
Full Text:
Aagaard, Mark (ed.) et al., Theorem proving in higher order logics. 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1869, 301-319 (2000).
MSC:  68N19 68T15 03B15