scientific article; zbMATH DE number 1962762
From MaRDI portal
Publication:4418593
zbMATH Open1033.68584MaRDI QIDQ4418593FDOQ4418593
Authors: Akira Mori, Kokichi Futatsugi 
Publication date: 11 August 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090461.htm
Title of this publication is not available (Why is that?)
Recommendations
- Generate \& check method for verifying transition systems in CafeOBJ
- scientific article; zbMATH DE number 2172803
- scientific article; zbMATH DE number 1942449
- Principles of proof scores in CafeOBJ
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (8)
- CafeOBJ Traces
- Generate \& check method for verifying transition systems in CafeOBJ
- Logical foundations of CafeOBJ
- CafeOBJ
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
- Using CafeOBJ to mechanise refactoring proofs and application
- On Automation of OTS/CafeOBJ Method
- 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 Q4418593)
