Automatic Verification with Abstraction and Theorem Proving
Event details
| Date | 15.08.2013 |
| Hour | 17:00 |
| Speaker | Hossein HOJJAT |
| Location | |
| Category | Thesis defenses |
Thesis director : Prof. V. Kuncak
Doctoral program Computer, Communication and Information Sciences
Thesis 5828
Doctoral program Computer, Communication and Information Sciences
Thesis 5828
Practical information
- General public
- Free