Normal view
MARC view
- Strichman, Ofer
Strichman, Ofer (Personal Name)
Machine generated authority record.
Work cat.: (IN-BhIIT)12722: Daniel Kroening, Auhtor 18774, Decision procedures: , 2016.