Miami University — United States
Computer Science · Physical Sciences
2h-index5citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(2), Formal Methods in Verification(1), Software Engineering Research(1), Advanced Software Engineering Methodologies(1), Model-Driven Software Engineering Techniques(1)
Publications2 total
2008· 2 cited
Proceedings·2007· 3 cited