By the same authors

A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

Research output: Contribution to conferencePaper

Standard

A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming. / Cavalcanti, Ana; Gaudel, Marie-Claude.

2008. 42-61.

Research output: Contribution to conferencePaper

Harvard

Cavalcanti, A & Gaudel, M-C 2008, 'A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming' pp. 42-61.

APA

Cavalcanti, A., & Gaudel, M-C. (2008). A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming. 42-61.

Vancouver

Cavalcanti A, Gaudel M-C. A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming. 2008.

Author

Cavalcanti, Ana ; Gaudel, Marie-Claude. / A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming.

Bibtex - Download

@conference{6bd0d273533148349f4682f170c3b60f,
title = "A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming",
author = "Ana Cavalcanti and Marie-Claude Gaudel",
year = "2008",
language = "Undefined/Unknown",
pages = "42--61",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

AU - Cavalcanti, Ana

AU - Gaudel, Marie-Claude

PY - 2008

Y1 - 2008

M3 - Paper

SP - 42

EP - 61

ER -