Formalizing and Verifying Transactional Memories
Event details
| Date | 07.04.2010 |
| Hour | 16:00 |
| Speaker | Monsieur Vasu Singh |
| Location | |
| Category | Thesis defenses |
Directeur de thèse : Prof. T. Henzinger
Informatique
Practical information
- General public
- Free