scientific article; zbMATH DE number 3872657

zbMATH Open0547.68022MaRDI QIDQ3339265FDOQ3339265

Authors: Alexander Kley 

Publication date: 1984

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

zbMATH Keywords

program transformationverification of processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (2)

• Title not available (Why is that?)
• Verification of object-oriented programs: a transformational approach

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