Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
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

Peter J. L. Wallis, Mike Ainsworth

Publication date: 17 May 1995



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


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


   Recommendations
  • Title not available (Why is that?) ๐Ÿ‘ ๐Ÿ‘Ž
  • Unifying concurrent and relational refinement ๐Ÿ‘ ๐Ÿ‘Ž
  • Laws of data refinement ๐Ÿ‘ ๐Ÿ‘Ž
  • Constructive consistency checking for partial specification in Z ๐Ÿ‘ ๐Ÿ‘Ž





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