J. Whittle is an author at Universidade Nova de Lisboa specializing in program analysis, system software, and formal methods.
Top concepts
DesignEngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering
Publications per year
2004–2004
3
3
Rows per page
1–3 of 3