-
81
Analysis of the constraint solver in UNA based test data generation.
Опубликовано в: Software engineering notes.Статья -
82
-
83
-
84
-
85
-
86
-
87
-
88
Strategic directions in research in theory of computing.
Опубликовано в: ACM computing surveys.Статья -
89
DESI methods for stiff initial-value problems.
Опубликовано в: ACM transactions on mathematical software.Статья -
90
Remark on algorithm 723 Fresnel integrals.
Опубликовано в: ACM transactions on mathematical software.Статья