Vista normal
Vista MARC
Lenguajes de programación Congresos, conferencias, etc. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Third International Haifa Verification Conference ( October 2007 : Haifa, Israel ) 70550, Hardware and software, 2008.