Z. Tamizuddin

ZT

Statistics

Publications

1

Citations

46

H-Index

1

Active since

2002

Affiliations

Z. Tamizuddin is an author at University of Florida specializing in automated reasoning, formal verification, and data management.

Publications per year

2002–2002

1

Publications

1