scientific article; zbMATH DE number 2013582

zbMath1028.68534MaRDI QIDQ4436966

Jean-Raymond Abrial

Publication date: 4 December 2003

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm ⋮ Incremental Parametric Development of Greedy Algorithms ⋮ Unnamed Item ⋮ A UTP semantics for \textsf{Circus} ⋮ Testing for refinement in \textsf{Circus} ⋮ Practical Theory Extension in Event-B ⋮ Spot the difference: a detailed comparison between B and Event-B

This page was built for publication: