Formal Methods in Software Engineering

Understanding CafeOBJ by examples

Year1997
TypeTalk
StatusPublished
AuthorsDorel 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]} }