Concepedia

D. Kulkami

DK

1

Publications

35

Citations

1

H-Index

2002

Active since

Affiliations

Ames Research Center(Current)

D. Kulkami is an author at Ames Research Center specializing in system software, formal methods, and mathematics education.

Top concepts

Publications per year

2002–2002

1

Publications

1

Towards a theory for integration of mathematical verification and empirical testing

M. Lowry, Mark Boyd, D. Kulkami · 2002 · 35 citations

, , +30

Rows per page

1–1 of 1