Alice Miller
0000-0002-0941-1717
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(57)
Software Testing and Debugging Techniques
(25)
Model-Driven Software Engineering Techniques
(19)
Software Reliability and Analysis Research
(18)
Logic, programming, and type systems
(13)
Affiliations
University of East Anglia
Motorola (United States)
University of New Mexico
University of Western Australia
Missouri University of Science and Technology