Răzvan Diaconescu

Simion Stoilow Institute of Mathematics of the Romanian Academy - Bucharest / Romania

Engineering & Technology / Computer Science

AD Scientific Index ID: 5108084

Simion Stoilow Institutul de Matematică al Academiei Române

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Simion Stoilow Institute of Mathematics of the Romanian Academy

Răzvan Diaconescu's MOST POPULAR ARTICLES

1-) CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification World Scientific Pub Co Inc, 1998

2-) Institution-independent model theory Birkhauser, 2008

3-) Logical support for modularisation Logical Environments, 1993

4-) Towards an algebraic semantics for the object paradigm Workshop on the Specification of Abstract Data Types, 1-29, 1992

5-) Logical foundations of CafeOBJ Theoretical computer science 285 (2), 289-318, 2002

ARTICLES

Add your articles