scientific article; zbMATH DE number 795668

zbMATH Open0828.68013MaRDI QIDQ4845488FDOQ4845488

Authors:

Publication date: 12 September 1995

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

Recommendations

• scientific article; zbMATH DE number 1497767
• scientific article; zbMATH DE number 1350767
• Formal methods in computing
• Formal methods in computer technologies
• Formal methods in computer science
• scientific article; zbMATH DE number 5015278

zbMATH Keywords

formal methodsspecificationFormal methodslanguage Z

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Collections of articles of miscellaneous specific interest (00B15) Mathematical problems of computer architecture (68M07) Theory of software (68N99) Computer system organization (68M99)

Cited In (7)

• Verification of heterogeneous multi-agent system using MCMAS
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
• Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
• A deep reinforcement learning framework with formal verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q4845488)