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

Most cited references 22

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Refinement Calculus

Ralph-Johan Back, Joakim Wright (1998)

0 comments Cited 55 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra (1975)

0 comments Cited 28 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Contributors

Simon Foster: (View ORCID Profile)

Book Chapter

Publication date (Print): 2018

Publication date (Online): October 05 2018

Pages: 137-155

DOI: 10.1007/978-3-030-02146-7_7

SO-VID: 647b343d-483e-4952-8a75-9a41b1092b5d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Formal Specification and Verification of Autonomous Robotic Systems
Authors: Matt Luckcuck, Marie Farrell, Louise A. Dennis …

See all cited by

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Read this book at

Related collections

Cascading Disasters

Most cited references 22

Isabelle/HOL

Refinement Calculus

Guarded commands, nondeterminacy and formal derivation of programs

Author and book information

Contributors

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,399

Cited by 1