Luis Alberto Croquevielle is an author at Carnegie Mellon University specializing in parallel programming, discrete mathematics, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationDiscrete MathematicsParallel ProgrammingComputational ComplexityCombinatorial Optimization
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1