Authors: Antoy, S Echahed, R Hanus, M

Citation: S. Antoy et al., A needed narrowing strategy, J ACM, 47(4), 2000, pp. 776-822

Authors: Antoy, S Hamlet, D

Citation: S. Antoy et D. Hamlet, Automatically checking an implementation against its formal specification, IEEE SOFT E, 26(1), 2000, pp. 55-69