According to our database1, David Frazier authored at least 3 papers between 2008 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Formal Aspects Comput., 2011
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
Proceedings of the Verified Software: Theories, 2008