Normal view
MARC view
Nahir, Amir (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Haifa Verification Conference (8th : 2012 : Haifa, Israel) 49498, Hardware and software :