| Original language | French |
|---|---|
| Journal | Science of Computer Programming |
| Volume | 20 |
| Publication status | Published - 1993 |
Exceptions for algebraic specifications
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
| Original language | French |
|---|---|
| Journal | Science of Computer Programming |
| Volume | 20 |
| Publication status | Published - 1993 |