The B-Book

1996 · Cambridge University Press eBooks · 1,657 citations · 0 from inside this corpus

J. R. Abrial low, A. Hoare low, Pierre Chapron low

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

this paper works it cites works citing it node size = global citations · hover for the full title

Links

DOI · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Advanced Software Engineering Methodologies	Computer Science
Software Engineering Research	Computer Science

Is this record sound?

partial

One field of this record is missing or disagrees with another. What is shown below is what the source publishes.

supports3 author record(s) attached.
weakensNo references are recorded despite 1,657 citations. A paper this heavily cited did not cite nothing, so the record is incomplete.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:56+00:00.

sha256 7bc26169e93749d1…