By the same authors

Isabelle/UTP: A Mechanised Theory Engineering Framework

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationUnifying Theories of Programming
DatePublished - 6 Jan 2015
Pages21-41
Number of pages21
PublisherSPRINGER
EditorsDavid Naumann
Volume8963
Original languageEnglish
ISBN (Print) 978-3-319-14805-2

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Bibliographical note

© 2015, Springer International Publishing Switzerland.

Projects

Discover related content

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

View graph of relations