-
81
Analysis of the constraint solver in UNA based test data generation.
I publikationen Software engineering notes.Artikel -
82
-
83
-
84
-
85
-
86
-
87
Editorial Strategic Directions in Computing Research.
I publikationen ACM computing surveys.Artikel -
88
Strategic directions in research in theory of computing.
I publikationen ACM computing surveys.Artikel -
89
DESI methods for stiff initial-value problems.
I publikationen ACM transactions on mathematical software.Artikel -
90
Remark on algorithm 723 Fresnel integrals.
I publikationen ACM transactions on mathematical software.Artikel