Proceedings of the Second International Haifa Verification Conference (HVC 2006), Lecture Notes in Computer Science vol. 4383

Publisher
Springer
Website
Year
2006
Period
October 23-26
Place
Haifa, Israel
ISBN
DOI
Volume
Copyright info