HVC 2011
Haifa Verification Conference 2011
December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel
Associated Events
- Patents and Software Engineering Workshop
(December 4, 2011)
Registration to the workshop is now open