Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2013) Unifying Theories of Programming in Isabelle. In: Liu, Zhiming, Woodcock, Jim and Zhu, Huibiao, (eds.) 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. Lecture Notes in Computer Science . Springer , pp. 109-155.
Metadata
Item Type: | Proceedings Paper | ||||
---|---|---|---|---|---|
Authors/Creators: |
|
||||
Copyright, Publisher and Additional Information: | © 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. | ||||
Dates: |
|
||||
Institution: | The University of York | ||||
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) | ||||
Funding Information: |
|
||||
Depositing User: | Pure (York) | ||||
Date Deposited: | 21 Jun 2016 11:11 | ||||
Last Modified: | 11 Mar 2024 00:03 | ||||
Published Version: | https://doi.org/10.1007/978-3-642-39721-9_3 | ||||
Status: | Published | ||||
Publisher: | Springer | ||||
Series Name: | Lecture Notes in Computer Science | ||||
Refereed: | No | ||||
Identification Number: | https://doi.org/10.1007/978-3-642-39721-9_3 |