Statistics
Publications
1
Citations
287
H-Index
1
Active since
2000
Affiliations
Ian R. Schechter is an author at Massachusetts Institute of Technology specializing in formal methods, model-driven software engineering, and model checking.
Publications per year
2000–2000
1
1
Daniel Jackson, Ian R. Schechter, Hya Shlyahter · 2000 · 287 citations
1–1 of 1