| Year | 1997 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Dorel Lucanu |
Links
Abstract
The talk presents the author's experience with the CafeOBJ system.
BibTeX
@Talk{sinaia97,
author = {Dorel Lucanu},
title = {Understanding CafeOBJ by examples},
institution={The First Romanian-Japanese Algebraic Specification Meeting},
year = {1997},
month = {August},
url = {http://www.imar.ro/~diacon/rj97-post.html[RJ97]}
}