scientific article

zbMATH Open0619.68012MaRDI QIDQ3756503FDOQ3756503

Matthias Anlauff

Publication date: 1987

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

zbMATH Keywords

program specificationprogram transformationtransformation rules

Mathematics Subject Classification ID

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

Cited In (2)

• The Munich project CIP. Volume II: The program transformation system CIP- S
• CSI: MSRI

   Recommendations

• The Munich project CIP. Volume II: The program transformation system CIP- S 👍 👎
• The Munich project CIP. Volume I: The wide spectrum language CIP-L 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal program construction by transformations-computer-aided, intuition-guided programming 👍 👎
• Title not available (Why is that?) 👍 👎

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