×

Found 2 Documents (Results 1–2)

A proposal for broad spectrum proof certificates. (English) Zbl 1349.03027

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 54-69 (2011).
MSC:  03B70 03B35 03F07 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software