| 1989 |
|---|
| 4 | | A. Mauboussin,
H. Perdrix,
Michel Bidoit,
Marie-Claude Gaudel,
Jacques Hagelstein:
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.
Algebraic Methods 1989: 395-431 |
| 3 | | Michel Bidoit,
Marie-Claude Gaudel,
A. Mauboussin:
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.
Sci. Comput. Program. 12(1): 1-38 (1989) |
| 1987 |
|---|
| 2 | | Michel Bidoit,
Marie-Claude Gaudel,
A. Mauboussin:
How to Make Algebraic Specifications More Understandable?.
Algebraic Methods 1987: 31-67 |
| 1985 |
|---|
| 1 | | N. Choquet,
Laurent Fribourg,
A. Mauboussin:
Runnable protocol specifications using the logic interpreter SLOG.
PSTV 1985: 149-168 |
