M.G.J. van den Brand , M.P.A. Sellink ∗ , C. Verhoef †
September 1997
Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AS)
Theory and Practice of Algebraic Specifications
25-26 September 1997
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/