×

Found 2 Documents (Results 1–2)

A generic intermediate representation for verification condition generation. (English) Zbl 1473.68051

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 227-243 (2015).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software