Title of article :
On the Power of Higher-Order Algebraic Specification Methods
Author/Authors :
P. Kosiuczenko، نويسنده , , K. Meinke، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Journal title :
Information and Computation
Journal title :
Information and Computation
