scientific article; zbMATH DE number 2080004
From MaRDI portal
Publication:4472186
zbMath1044.68106MaRDI QIDQ4472186
Louis Mussat, Jean-Raymond Abrial
Publication date: 3 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720242.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Empowering the Event-B method using external theories ⋮ A unification of probabilistic choice within a design-based model of reversible computation ⋮ Efficient Well-Definedness Checking ⋮ Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving ⋮ Spot the difference: a detailed comparison between B and Event-B
This page was built for publication:
