scientific article; zbMATH DE number 756075

zbMath0830.68085MaRDI QIDQ4698367

Peter J. L. Wallis, Mike Ainsworth

Publication date: 17 May 1995

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

zbMATH Keywords

amalgamationco-refinementlarge-scale formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Joining specification statements

This page was built for publication: