scientific article; zbMATH DE number 1105197
From MaRDI portal
Publication:4370601
zbMATH Open0897.68064MaRDI QIDQ4370601FDOQ4370601
Authors:
Publication date: 18 January 1998
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 595218
- scientific article; zbMATH DE number 683356
- VDM: Axiomatising its Propositional Logic
- Publication:3028331
- scientific article; zbMATH DE number 3870636
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Case-analysis for rippling and inductive proof
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (7)
- The formal specification of safety requirements for storing explosives
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Response to ``The formal specification of safety requirements for storing explosives
- Title not available (Why is that?)
Uses Software
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 Q4370601)
