Statistics
Publications
1
Citations
11
H-Index
1
Active since
2009
Affiliations
Carnegie Mellon University(Current)
Michael Keeling is an author at Carnegie Mellon University specializing in automated reasoning, software maintenance, and formal specification.
Publications per year
2009–2009
1
1
Software Mythbusters Explore Formal Methods
Ciera Jaspan, Michael Keeling, Larry Maccherone et al. · IEEE Software · 2009 · 11 citations
1–1 of 1