scientific article; zbMATH DE number 756081

zbMATH Open0830.68079MaRDI QIDQ4698371FDOQ4698371

Authors: J. Bicarregui 

Publication date: 28 January 1996

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

Recommendations

• scientific article; zbMATH DE number 2090133
• Hoare's logic and VDM
• scientific article; zbMATH DE number 550761

zbMATH Keywords

semantic modelsVDM

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (1)

• 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 Q4698371)