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