Proving semantical equivalence of data specifications
Frank Piessens, Eric SteegmansVolume:
116
Year:
1997
Language:
english
Pages:
32
Journal:
Journal of Pure and Applied Algebra
DOI:
10.1016/s0022-4049(96)00168-5
File:
PDF, 1.92 MB
english, 1997