scientific article; zbMATH DE number 3880084

zbMATH Open0552.68016MaRDI QIDQ3345754FDOQ3345754

Fernando Orejas

Publication date: 1984

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

zbMATH Keywords

proof systemcomposabilityabstract implementationsprogramming by stepwise refinements

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (4)

• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Formal Methods in Computer-Aided Design
• Title not available (Why is that?)
• Compositional Verification and 3-Valued Abstractions Join Forces

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 Q3345754)