View in EDS PDF Full Text

On Describing Terminating Algebraic Specifications Based on Their Models.

Saved in:
Bibliographic Details
Title: On Describing Terminating Algebraic Specifications Based on Their Models.
Authors: Nakamura, Masaki1, Ogata, Kazuhiro2, Futatsugi, Kokichi2
Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I; 2012, Vol. 1, p192-197, 6p
Database: Applied Science & Technology Source
Description
ISBN:9789881925114