Statistics
Publications
1
Citations
119
H-Index
1
Active since
1995
Affiliations
Dartmouth College(Current)
Vanja Buvač is an author at Dartmouth College specializing in formal verification, automated reasoning, and linguistics.
Publications per year
1995–1995
1
1
Saša Buvač, Vanja Buvač, Ian A. Mason · Fundamenta Informaticae · 1995 · 119 citations
1–1 of 1