Unifying Theories of Programming in Isabelle

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationUnifying 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
EditorsZhiming Liu, Jim Woodcock, Huibiao Zhu
PublisherSpringer
Pages109-155
Number of pages47
Volume8050
DOIs
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Bibliographical note

© 2013 Springer-Verlag Berlin Heidelberg. This is an author-produced version of the published chapter. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Cite this