scientific article; zbMATH DE number 2161773

MaRDI QIDQ4671707zbMATH OpenFDO

Authors Iakovos Ouranos, Petros Stefaneas, Panayiotis V. Frangos

Publication date 26 April 2005

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Logical foundations of CafeOBJ
• scientific article; zbMATH DE number 2172803
• scientific article; zbMATH DE number 1949595
• From OBJ to Maude and Beyond

Cited in

(3)

• MobileOBJ
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• scientific article; zbMATH DE number 1949595 (Why is no real title available?)

Describes a project that uses

Uses Software

• CafeOBJ

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