Concepedia

Philip Dart

PD

Statistics

Publications

13

Citations

619

H-Index

11

Active since

1987

Affiliations

The University of Melbourne(Current)

RMIT University

Philip Dart is an author at The University of Melbourne specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignLogic ProgrammingSoftware Engineering

Publications per year

1987–2003

13

Publications

13

1–5 of 13