Statistics
Publications
1
Citations
21
H-Index
1
Active since
2023
Affiliations
Carnegie Mellon University(Current)
Alexandra E. Michael is an author at Carnegie Mellon University specializing in formal methods, type checking, and computer science.
Publications per year
2023–2023
1
1
1–1 of 1