Statistics
Publications
9
Citations
287
H-Index
9
Active since
1995
Carlos Puchol is an author at The University of Texas at Austin specializing in computer science, computing, and formal methods.
Publications per year
1995–2002
9
9
Specification-based testing of reactive software
Lalita Jategaonkar Jagadeesan, Adam Porter, Carlos Puchol et al. · 1997 · 51 citations · Full text
1–5 of 9