Statistics
Publications
1
Citations
252
H-Index
1
Active since
2000
Affiliations
University of California San Diego(Current)
Michael D. Enst is an author at University of California San Diego specializing in system software, formal verification, and formal methods.
Publications per year
2000–2000
1
1
Quickly detecting relevant program invariants
Michael D. Enst, Adam Czeisler, William G. Griswold et al. · 2000 · 252 citations · Full text
1–1 of 1