| |
| 1990 | ||
|---|---|---|
| 2 | EE | G. Becker, L. Camarinopoulos: A Bayesian Estimation Method for the Failure Rate a Possibly Correct Program. IEEE Trans. Software Eng. 16(11): 1307-1310 (1990) |
| 1987 | ||
| 1 | M. Arnoux, G. Becker, M. C. Thomas: Un système de frames expertes en Prolog. SPLT 1987: 507- | |
| 1 | M. Arnoux | [1] |
| 2 | L. Camarinopoulos | [2] |
| 3 | M. C. Thomas | [1] |