×

Found 7 Documents (Results 1–7)

Unifying theories of programming in Isabelle. (English) Zbl 1444.68049

Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software