Introduction to Algebraic Specifications Based on the Language ACT ONE

Jan de Meer, Rudolf Roth, Son T. Vuong. Introduction to Algebraic Specifications Based on the Language ACT ONE. Computer Networks, 23(5):363-392, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.