Statistics
Publications
4
Citations
116
H-Index
4
Active since
2002
Affiliations
Marc K. Zimmerman is an author at Massachusetts Institute of Technology specializing in engineering, formal methods, and computer science.
Publications per year
2002–2002
4
4
Identifying mode confusion potential in software design
M. Rodriguez, Marc K. Zimmerman, M. Katahira et al. · 2002 · 20 citations · Full text
Making formal methods practical
Marc K. Zimmerman, Manuel Rodríguez, Brandon T. Ingram et al. · 2002 · 12 citations
1–4 of 4