Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
A needed narrowing strategy
Authors:
Antoy, S Echahed, R Hanus, M
Citation:
S. Antoy et al., A needed narrowing strategy, J ACM, 47(4), 2000, pp. 776-822
Automatically checking an implementation against its formal specification
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
Risultati:
1-2
|