Michael J. Dent is an author at Western University specializing in formal methods, computer engineering, and data security.
Top concepts
EngineeringVerificationData SecurityFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationInteger ProgrammingComputer EngineeringComputational Complexity
Publications per year
2002–2002
1
1
Michael J. Dent, Robert E. Mercer · 2002 · 36 citations
Rows per page
1–1 of 1