Manipulating algebraic specifications with term-based and graph-based representations
| Autor: | Moreira, Anamaria Martins, Ringeissen, Christophe, Déharbe, David, Lima, Gleydson |
|---|---|
| Zdroj: | In Journal of Logic and Algebraic Programming 2004 59(1):63-87 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect