EqLAn equational language. Bharat Jayaraman <[email protected]>. "EqL: The Language and its Implementation", B. Jayaraman et al, IEEE Trans Soft Eng SE-15(6):771-780 (June 1989).
FOLDOC is sponsored by Business Stickers
Updated: Mon, 20 Aug 2018 21:26:12 GMT
Supported by Imperial College Department of Computing