Abelardo Pardo Sánchez
Original record- Institution
- University of Colorado at Boulder
- Year
- 1997
- Country
- United States
- MGP identifier
- 120539
Dissertation: Automatic Abstraction Techniques for Formal Verification of Digital Systems
Mathematics Subject Classification: 94—Information and communication, circuits
Advisor 1
- Gary Deane HachtelUniversity of California, Berkeley · 1965
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Maria Carmen Fernández Panadero | Universidad Carlos III de Madrid | 2004 | 0 |
| Sergio Gutiérrez Santos | Universidad Carlos III de Madrid | 2007 | 1 |