scientific article; zbMATH DE number 140003

zbMATH Open0766.68091MaRDI QIDQ4028366FDOQ4028366

Authors:

Publication date: 28 March 1993

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

Recommendations

• The verification of modules
• Module checking
• scientific article; zbMATH DE number 3894447
• scientific article; zbMATH DE number 1361119
• scientific article; zbMATH DE number 3230401
• MODULES
• scientific article; zbMATH DE number 3324865
• scientific article; zbMATH DE number 3351754

zbMATH Keywords

synthesismodularitytransformationprogram verificationalgebraic specifications

Mathematics Subject Classification ID

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

Cited In (5)

• The verification of modules
• Verified software units
• Modules and specifications
• Title not available (Why is that?)
• Modular Verification of Recursive Programs

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