Concepedia

D. Hirschkoff

DH

Statistics

Publications

1

Citations

14

H-Index

1

Active since

1999

Affiliations

Sorbonne Université(Current)

D. Hirschkoff is an author at Sorbonne Université specializing in system software, software analysis, and formal methods.

Top concepts

Publications per year

1999–1999

1

Publications

1

On the way to certify Computer Algebra Systems

Sylvain Boulmé, Thérèse Hardin, D. Hirschkoff et al. · Electronic Notes in Theoretical Computer Science · 1999 · 14 citations · Full text

, , +16

1–1 of 1