By the same authors

Unifying Theories of Programming in Isabelle

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

Full text download(s)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

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
DatePublished - 2013
Pages109-155
Number of pages47
PublisherSPRINGER
EditorsZhiming Liu, Jim Woodcock, Huibiao Zhu
Volume8050
Original languageEnglish

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.

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations