Miguel López Guerrero is an author at Rice University specializing in formal methods, software analysis, and system software.
Top concepts
EngineeringFormal MethodsData ManagementSystem SoftwareSoftware AnalysisComputer EngineeringSoftware EngineeringComputer ArchitectureDomain-specific Modeling
Publications per year
2004–2004
1
1
Implementing DSLs in metaOCaml
Miguel López Guerrero, Edward Pizzi, R. A. Rosenbaum et al. · 2004 · 10 citations
Rows per page
1–1 of 1