1
Publications
16
Citations
1
H-Index
2013
Active since
Affiliations
Universidad Politécnica de Madrid(Current)
Pablo Nogueira is an author at Universidad Politécnica de Madrid specializing in formal verification, engineering, and syntax.
Top concepts
SyntaxEngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
2013–2013
1
1
Rows per page
1–1 of 1