scientific article; zbMATH DE number 2080010

zbMath1044.68145MaRDI QIDQ4472194

Dominique Cansell, Guy Laffitte, Jean-Raymond Abrial

Publication date: 3 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720370.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01) Axiom of choice and related propositions (03E25)

Related Items (2)

The Composition of Event-B Models ⋮ Practical Theory Extension in Event-B

Uses Software

• Atelier B

This page was built for publication: