Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
0
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,701
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
mural: A Formal Development Support System
other
Author(s):
C. B. Jones
,
K. D. Jones
,
P. A. Lindsay
,
R. D. Moore
Publication date
(Print):
1991
Publisher:
Springer London
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
UCL and the UN Sustainable Development Goals
Author and book information
Book
ISBN (Print):
978-3-540-19651-8
ISBN (Electronic):
978-1-4471-3180-9
Publication date (Print):
1991
DOI:
10.1007/978-1-4471-3180-9
SO-VID:
ef00d433-1fe8-41e5-8c29-0226a55da569
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
General introduction
pp. 13
Introduction to mural
pp. 33
Instantiation
pp. 107
Foundation
pp. 171
The tactic language
pp. 199
Implementing the mural proof assistant
pp. 215
Supporting formal software development
pp. 221
The mural VDM Support Tool
pp. 241
Foundations of specification animation
pp. 263
Case Studies
pp. 301
Conclusions
Similar content
3,701
Adjuvant Effect of Antibodies against von Willebrand Factor, Fibrinogen, and Fibronectin on Staphylokinase-Induced Thrombolysis as Measured Using Mural Thrombi Formed in Rat Mesenteric Venules
Authors:
Junichiro Yamamoto
,
Makiko Kawano
,
Masaru Hashimoto
…
El sabio camino hacia la felicidad: Diógenes de Enoanda y el gran mural epicúreo
Authors:
C. GARCIA GUAL
The cave paintings of Baja California: Discovering the great murals of an unknown people
Authors:
H Crosby
,
Crosby
See all similar
Cited by
7
Role of VDM(++) in the development of a real-time tracking and tracing system
Authors:
E. H. Dürr
,
E. M. Dusink
Some practical problems and their influence on semantics
Authors:
Cliff Jones
XIsabelle: A system description
Authors:
M. A. Ozols
,
A. Cant
,
K. A. Eastaughffe
See all cited by