Statistics
Publications
1
Citations
215
H-Index
1
Active since
2007
Affiliations
Microsoft (United States)(Current)
Sahil Thaker is an author at Microsoft (United States) specializing in software product line modeling, deductive verification, and formal methods.
Publications per year
2007–2007
1
1
Safe composition of product lines
Sahil Thaker, Don Batory, David Kitchin et al. · 2007 · 215 citations
1–1 of 1