Y. Sagiv

YS

Statistics

Publications

2

Citations

50

H-Index

2

Active since

1978

Affiliations

Y. Sagiv is an author at Princeton University specializing in computational complexity, automated reasoning, and formal methods.

Publications per year

1978–1989

2

Publications

2