Isabelle/UTP: A Mechanised Theory Engineering Framework

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

Original languageEnglish
Title of host publicationUnifying Theories of Programming
Subtitle of host publication5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
EditorsDavid Naumann
PublisherSpringer
Pages21-41
Number of pages21
Volume8963
ISBN (Print) 978-3-319-14805-2
DOIs
Publication statusPublished - 6 Jan 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Bibliographical note

© 2015, Springer International Publishing Switzerland.

Cite this