×

Behavioural equivalence - a unifying concept for initial and final specification methods. (English) Zbl 0479.68017

Mathematical models in computer systems, Proc. 3rd Hung. Comput. Sci. Conf., Budapest 1981, 27-39 (1981).

MSC:

68P05 Data structures
68N01 General topics in the theory of software

Citations:

Zbl 0464.00023