Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 756075

From MaRDI portal
Publication:4698367
Jump to:navigation, search

zbMATH Open0830.68085MaRDI QIDQ4698367FDOQ4698367


Authors: Mike Ainsworth, Peter J. L. Wallis Edit this on Wikidata


Publication date: 17 May 1995



Title of this publication is not available (Why is that?)



Recommendations

  • scientific article; zbMATH DE number 139814
  • Unifying concurrent and relational refinement
  • Laws of data refinement
  • Constructive consistency checking for partial specification in Z


zbMATH Keywords

amalgamationco-refinementlarge-scale formal specification


Mathematics Subject Classification ID

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



Cited In (3)

  • Joining specification statements
  • Copartitions
  • Meta-modelling for formal software development





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698367)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4698367&oldid=18931184"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 19:35. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki