Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
50
views
20
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,164
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Fundamental Approaches to Software Engineering
Java Program Verification via a Hoare Logic with Abrupt Termination
other
Author(s):
Marieke Huisman
,
Bart Jacobs
Publication date
(Online):
May 19 2000
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
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
Stroke: Karger Topic Article Package
Most cited references
20
Record
: found
Abstract
: not found
Book
: not found
The Science of Programming
David Gries
(1981)
0
comments
Cited
71
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Isabelle
Lawrence Paulson
(1994)
0
comments
Cited
66
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Ten Years of Hoare's Logic: A Survey---Part I
Krzysztof R. Apt
(1981)
0
comments
Cited
37
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Publication date (Online):
May 19 2000
Pages
: 284-303
DOI:
10.1007/3-540-46428-X_20
SO-VID:
7c8c7bf8-f01d-4342-b07c-b659dc3f3ac7
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 127
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
pp. 266
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
pp. 284
Java Program Verification via a Hoare Logic with Abrupt Termination
pp. 363
Formal System Development with KIV
Similar content
4,164
Changes in the shear strength and micro-penetration hardness of a buried surface-hoar layer
Authors:
IVAR W. BIRKELAND
,
Kalle Kronholm
,
Martin Schneebeli
…
Modelling hazardous surface hoar layers across western Canada with a coupled weather and snow cover model
Authors:
Simon Horton
,
Bruce Jamieson
How to Cook a Complete Hoare Logic for Your Pet OO Language
Authors:
Frank S. de Boer
,
Cees Pierik
See all similar
Cited by
13
A Formally Verified Compiler Back-end
Authors:
Xavier Leroy
A formally verified compiler back-end
Authors:
Mechanized Semantics for the Clight Subset of the C Language
Authors:
Sandrine Blazy
,
Xavier Leroy
See all cited by