Jos Maldonado is an author at Lancaster University specializing in formal methods, software testing, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1